diff --git a/Makefile b/Makefile
index 877492275c72e88614c432f7b316b85b513137dc..8de6ba818504a6f83f508569ffd03a38689cab4c 100644
--- a/Makefile
+++ b/Makefile
@@ -3,9 +3,6 @@ ifeq ($(Y), 1)
 	YFLAG=-y
 endif
 
-# Configure Coq warnings
-COQ_MAKEFILE_FLAGS ?= -arg -w -arg -notation-overridden,-redundant-canonical-projection,-several-object-files
-
 # Forward most targets to Coq makefile (with some trick to make this phony)
 %: Makefile.coq phony
 	+@make -f Makefile.coq $@
diff --git a/_CoqProject b/_CoqProject
index a7869b1351ef752e6797dcbc94d5d18a0f6c1e7f..8a0c466a72688f6d95fcf9dd97d5553fba36cde6 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -1,4 +1,5 @@
 -Q theories stdpp
+-arg -w -arg -notation-overridden,-redundant-canonical-projection,-several-object-files
 theories/option.v
 theories/fin_map_dom.v
 theories/bset.v