fix order of directives

coq-community · Mar 29, 2022 · a1609c6 · a1609c6
1 parent e8dc629
commit a1609c6
Showing 1 changed file with 4 additions and 7 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -1,6 +1,10 @@
 -R theories fourcolor
 -arg -w -arg -notation-overridden
+-arg -w -arg -ambiguous-paths
 -arg -w -arg -redundant-canonical-projection
+-arg -w -arg -deprecated-hint-without-locality
+-arg -w -arg -deprecated-instance-without-locality
+
 theories/real.v
 theories/realsyntax.v
 theories/realprop.v
@@ -121,10 +125,3 @@ theories/reducibility.v
 theories/combinatorial4ct.v
 theories/fourcolor.v
 
--R theories fourcolor
--arg -w -arg -notation-overridden
--arg -w -arg -ambiguous-paths
--arg -w -arg -redundant-canonical-projection
--arg -w -arg -deprecated-hint-without-locality
--arg -w -arg -deprecated-instance-without-locality
-