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})))