1 files changed, 1 insertions, 2 deletions

diff --git a/Makefile b/Makefile
index 103a6cb3..0acfbed4 100644
--- a/Makefile
+++ b/Makefile
@@ -64,8 +64,7 @@ endif
 COQCOPTS ?= \
   -w -undeclared-scope \
   -w -unused-pattern-matching-variable \
-  -w -deprecated-ident-entry \
-  -w -deprecated-hint-rewrite-without-locality
+  -w -deprecated-ident-entry
 
 cparser/Parser.vo: COQCOPTS += -w -deprecated-instance-without-locality