fix a link error on church, due to Antlr #defining "true" and "false" :-( --for now...

diff --git a/src/parser/tptp/tptp.cpp b/src/parser/tptp/tptp.cpp
index 065c628241d8c2d2ea639c9e6f44751688663e78..ab7ce5422e8e0fe46ce9cec1b1114578080b282b 100644 (file)
--- 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 {