From 491d5e1492c3c92d97b2be814dbdd6150c38030d Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@college-de-france.fr>
Date: Tue, 26 Feb 2019 09:04:55 +0100
Subject: Maximum supported Menhir version (#275)

Follow-up to commit fc9bc643.  The latest Menhir version compatible
with the current code base is actually 20181113.
---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'configure')

diff --git a/configure b/configure
index 130944a5..49e68946 100755
--- a/configure
+++ b/configure
@@ -555,7 +555,7 @@ fi
 
 MENHIR_REQUIRED=20161201
 MENHIR_NEW_API=20180530
-MENHIR_MAX=20181026
+MENHIR_MAX=20181113
 menhir_flags=''
 echo "Testing Menhir... " | tr -d '\n'
 menhir_ver=`menhir --version 2>/dev/null | sed -n -e 's/^.*version \([0-9]*\).*$/\1/p'`
-- 
cgit