projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 86eb789) | patch
fix a link error on church, due to Antlr #defining "true" and "false" :-( --for now...
authorMorgan Deters <mdeters@gmail.com>
Thu, 28 Jun 2012 09:42:09 +0000 (09:42 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 28 Jun 2012 09:42:09 +0000 (09:42 +0000)
commit2f282e67ed10bd58c24cdc14ec53857b79e59a35
treeaf137886cccef4ea65e5c8c172e9299c7e2d17b8tree
parent86eb789dfb6b79a964912ac8289c2ecb28628667commit | diff
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 diff | blob | history