From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 28 Jun 2012 09:42:09 +0000 (+0000)
Subject: fix a link error on church, due to Antlr #defining "true" and "false" :-( --for now... 
X-Git-Tag: cvc5-1.0.0~7955
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2f282e67ed10bd58c24cdc14ec53857b79e59a35;p=cvc5.git

fix a link error on church, due to Antlr #defining "true" and "false" :-( --for now, just #undef them after the #include
---

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 {