diff --git a/_CoqProject b/_CoqProject
index 123fc871923a271f2fbc98061111c01969952ef6..f5c3e7567eb3e3c93a3df6d61c6755f10cc2ff9d 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -1,6 +1,7 @@
 -Q theories stdpp
 # "Declare Scope" does not exist yet in 8.9
 -arg -w -arg -undeclared-scope
+
 theories/base.v
 theories/tactics.v
 theories/option.v