From 2f282e67ed10bd58c24cdc14ec53857b79e59a35 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Thu, 28 Jun 2012 09:42:09 +0000 Subject: [PATCH] fix a link error on church, due to Antlr #defining "true" and "false" :-( --for now, just #undef them after the #include --- src/parser/tptp/tptp.cpp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/parser/tptp/tptp.cpp b/src/parser/tptp/tptp.cpp index 065c62824..ab7ce5422 100644 --- a/src/parser/tptp/tptp.cpp +++ b/src/parser/tptp/tptp.cpp @@ -22,6 +22,10 @@ #include "parser/tptp/tptp.h" #include "parser/antlr_input.h" +// ANTLR defines these, which is really bad! +#undef true +#undef false + namespace CVC4 { namespace parser { -- 2.30.2