Bump minimal version of Menhir

AbsInt · Jul 24, 2024 · 1911ef7 · 1911ef7
1 parent f92facf
commit 1911ef7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/configure b/configure
@@ -558,7 +558,7 @@ else
   ocaml_opt_comp=false
 fi
 
-MENHIR_REQUIRED=20190626
+MENHIR_REQUIRED=20200624
 echo "Testing Menhir... " | tr -d '\n'
 menhir_ver=`menhir --version 2>/dev/null | sed -n -e 's/^.*version \([0-9]*\).*$/\1/p'`
 case "$menhir_ver" in