Fix Coq CI

liyishuai · Oct 11, 2024 · ef45033 · ef45033
1 parent b5a494f
commit ef45033
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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})))