From fefdd3589804d989e5be641aa8daaaa82369e18c Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Thu, 8 Mar 2018 17:39:45 -0800 Subject: [PATCH] Fixed message in get-antlr script. --- contrib/get-antlr-3.4 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/get-antlr-3.4 b/contrib/get-antlr-3.4 index 4ee23509a..16adf9108 100755 --- a/contrib/get-antlr-3.4 +++ b/contrib/get-antlr-3.4 @@ -111,4 +111,4 @@ fi echo echo ===================== Now configure CVC4 with ===================== -echo ./configure --with-antlr-dir=`pwd`/antlr-3.4 ANTLR=`pwd`/antlr-3.4/bin/antlr3 +echo ./configure -- 2.30.2