From 125ecbc1054fcae6b7e949fcf21a082721880a58 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Mon, 28 Apr 2025 10:56:05 +0200
Subject: [PATCH] fix test-suite rocq 9

---
 Makefile.test-suite.coq.local | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.test-suite.coq.local b/Makefile.test-suite.coq.local
index fcba0fe2..96db64e3 100644
--- a/Makefile.test-suite.coq.local
+++ b/Makefile.test-suite.coq.local
@@ -9,7 +9,7 @@ output_for=`\
 DIFF=\
 	@if [ -z "$$COQ_ELPI_ATTRIBUTES" ]; then \
 	echo OUTPUT DIFF $(1);\
-	$(COQTOP) $(COQFLAGS) $(COQLIBS) -topfile $(1) \
+	$(COQTOP) $(COQFLAGS) $(COQLIBS) -w -deprecated-from-Coq -topfile $(1) \
 	  < $(1) 2>&1 \
 	  | sed 's/Coq < *//g' \
 	  | sed 's/Rocq < *//g' \