From 186dd60bf2169175395a8f973a2ac0780f910b07 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Sat, 6 Jul 2024 13:43:26 +0200
Subject: [PATCH] Adapt to https://github.com/coq/coq/pull/19310

---
 _CoqProject | 1 +
 1 file changed, 1 insertion(+)

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