diff --git a/theories/Basics.v b/theories/Basics.v
index 18add73d16..f4d8deeeef 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.
+