From c880646d721f666a2279a108174273af2ff6b7f8 Mon Sep 17 00:00:00 2001 From: Kazuhiko Sakaguchi Date: Fri, 6 Dec 2024 23:15:42 +0100 Subject: [PATCH] Remove -w -elpi.typecheck-syntax from Make and _CoqProject --- Make | 1 - _CoqProject | 1 - 2 files changed, 2 deletions(-) diff --git a/Make b/Make index de7cafd..e6f5a68 100644 --- 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 index 7dc6b05..89f1677 100644 --- 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