menhir 2.0

groupoid · Jul 4, 2021 · 645572c · 645572c
1 parent 2b0a01f
commit 645572c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dune-project b/dune-project
@@ -1,2 +1,2 @@
 (lang dune 2.0)
-(using menhir 2.1)
+(using menhir 2.0)