From: Morgan Deters <mdeters@gmail.com>
Date: Tue, 4 Oct 2011 00:26:35 +0000 (+0000)
Subject: support for configure-discovery of antlr3-3.4-beta4
X-Git-Tag: cvc5-1.0.0~8438
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=422f91aadff0f9329535ffa0a4f5903905dd8289;p=cvc5.git

support for configure-discovery of antlr3-3.4-beta4
---

diff --git a/config/antlr.m4 b/config/antlr.m4
index 2f0898b80..4ec81cbc7 100644
--- a/config/antlr.m4
+++ b/config/antlr.m4
@@ -64,8 +64,7 @@ AC_DEFUN([AC_LIB_ANTLR],[
         #include <antlr3.h>
 
         int main() {
-          pANTLR3_UINT8 fName = (pANTLR3_UINT8)"foo";
-          pANTLR3_INPUT_STREAM input = antlr3AsciiFileStreamNew(fName);
+          pANTLR3_STRING_FACTORY factory = antlr3StringFactoryNew(ANTLR3_ENC_8BIT);
           return 0;
         }
       ],