From df8469f634022917b175329f56f25427ae8bd5ec Mon Sep 17 00:00:00 2001
From: Ali Caglayan <alizter@gmail.com>
Date: Wed, 6 Mar 2024 22:42:15 +0100
Subject: [PATCH] REMOVE: test whitespace check

Signed-off-by: Ali Caglayan <alizter@gmail.com>

<!-- ps-id: 312316c0-fe60-44f2-93de-254129c6ae19 -->
---
 theories/Basics.v | 1 +
 1 file changed, 1 insertion(+)

diff --git a/theories/Basics.v b/theories/Basics.v
index 18add73d16a..fc2dd33a81a 100644
--- a/theories/Basics.v
+++ b/theories/Basics.v
@@ -10,3 +10,4 @@ Require Export Basics.Tactics.
 
 Require Export Basics.Nat.
 Require Export Basics.Numeral.
+