Upgrade menhir stanza to 3.0

mbarbin · May 5, 2024 · b2338f5 · b2338f5
1 parent b7f58db
commit b2338f5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dune-project b/dune-project
@@ -19,7 +19,7 @@
 
 (using mdx 0.4)
 
-(using menhir 2.1)
+(using menhir 3.0)
 
 (cram enable)