Merge pull request #148 from coq-community/coq_19310

Adapt to coq/coq#19310
coq-community · Jul 14, 2024 · 109af84 · 109af84
2 parents 10f7744 + 186dd60
commit 109af84
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -4,6 +4,7 @@
 -I src
 
 -arg -w -arg +default
+-arg -w -arg -deprecated-from-Coq
 
 src/coq.mli
 src/helper.mli