aboutsummaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 02242eef..21aa5c75 100755
--- a/configure
+++ b/configure
@@ -281,7 +281,7 @@ else
ocaml_opt_comp=false
fi
-MENHIR_REQUIRED=20151023
+MENHIR_REQUIRED=20151110
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