diff --git a/_CoqProject b/_CoqProject
index cb7f43e..cf13fea 100644
--- 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