From ef4503317e70f3af4e634c53b664e20321915a6d Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Fri, 11 Oct 2024 10:45:01 +0200
Subject: [PATCH] Fix Coq CI

---
 theories/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/theories/dune b/theories/dune
index 09afadd..536d860 100644
--- a/theories/dune
+++ b/theories/dune
@@ -8,4 +8,4 @@
  (target Parser.v)
  (deps Parser.vy)
  (action
-  (run menhir --coq %{deps})))
+  (run menhir --coq --coq-no-version-check %{deps})))