diff --git a/_CoqProject b/_CoqProject
index cb7f43e..a0b06ca 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -3,8 +3,6 @@
 -Q src AAC_tactics
 -I src
 
--arg -w -arg +default
-
 src/coq.mli
 src/helper.mli
 src/search_monad.mli