1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 630ecfa1..182e086a 100755
--- a/configure
+++ b/configure
@@ -448,7 +448,7 @@ else
   ocaml_opt_comp=false
 fi
 
-MENHIR_REQUIRED=20160303
+MENHIR_REQUIRED=20161201
 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