chore: upgrade to menhir 2.0 in dune

c-cube · Sep 10, 2022 · 55b8842 · 55b8842
1 parent 06352e5
commit 55b8842
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/dune-project b/dune-project
@@ -1,3 +1,3 @@
 (lang dune 1.11)
 (name mc2)
-(using menhir 1.0)
+(using menhir 2.0)
diff --git a/mc2.opam b/mc2.opam
@@ -18,7 +18,7 @@ depends: [
   "containers" { >= "3.4" & < "4.0" }
   "iter" { >= "1.0" }
   "smtlib-utils" { >= "0.1" & < "0.4" }
-  "dune" { >= "1.11" }
+  "dune" { >= "2.0" }
   "odoc" {with-doc}
 ]
 build: [