Remove -w -elpi.typecheck-syntax from Make and _CoqProject

math-comp · Dec 6, 2024 · c880646 · c880646
1 parent 16b3dbf
commit c880646
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/Make b/Make
@@ -5,4 +5,3 @@ theories/ring.v
 -R theories mathcomp.algebra_tactics
 -arg -w -arg -notation-overridden
 -arg -w -arg +elpi.typecheck
--arg -w -arg -elpi.typecheck-syntax
diff --git a/_CoqProject b/_CoqProject
@@ -1,4 +1,3 @@
 -R theories mathcomp.algebra_tactics
 -arg -w -arg -notation-overridden
 -arg -w -arg +elpi.typecheck
--arg -w -arg -elpi.typecheck-syntax