diff --git a/_CoqProject b/_CoqProject
index bf320d3da04e99ac8bdb8d2c396e64036525a33c..8d1bfd225caecf731bf5827eb763525c0c32dd6a 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -1,5 +1,7 @@
 -Q theories stdpp
 -arg -w -arg -notation-overridden,-redundant-canonical-projection,-several-object-files
+theories/base.v
+theories/tactics.v
 theories/option.v
 theories/fin_map_dom.v
 theories/bset.v
@@ -23,8 +25,6 @@ theories/listset.v
 theories/streams.v
 theories/gmap.v
 theories/gmultiset.v
-theories/base.v
-theories/tactics.v
 theories/prelude.v
 theories/listset_nodup.v
 theories/finite.v