Merge pull request #105 from math-comp/elpi-typecheck

Remove -w -elpi.typecheck-syntax from Make and _CoqProject
math-comp · Dec 6, 2024 · 12e9b64 · 12e9b64
2 parents 16b3dbf + c880646
commit 12e9b64
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