diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-10-04 01:25:35 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-10-04 01:25:35 +0000 |
| commit | 87ea8ded0593debfda9d649bcce086286247c9fd (patch) | |
| tree | efb863e5f6b81f375926e52f7e8dd8fdecd7318e /src/parser/smt2 | |
| parent | 09f28a6a107e2599c2f53d1dd8d201d8c18e625f (diff) | |
Oh, here's another cute compatibility fix for libantlr3c 3.4-beta4. They #define true and false to their own ANTLR3_TRUE and ANTLR3_FALSE, wreaking havoc on our parsers. I'm really fed up with this package.
Diffstat (limited to 'src/parser/smt2')
| -rw-r--r-- | src/parser/smt2/Smt2.g | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g index 5ae04adea..f9a2cccf2 100644 --- a/src/parser/smt2/Smt2.g +++ b/src/parser/smt2/Smt2.g @@ -290,7 +290,7 @@ command returns [CVC4::Command* cmd = NULL] { cmd = new AssertCommand(expr); } | /* checksat */ CHECKSAT_TOK - { cmd = new CheckSatCommand(MK_CONST(true)); } + { cmd = new CheckSatCommand(MK_CONST(bool(true))); } | /* get-assertions */ GET_ASSERTIONS_TOK { cmd = new GetAssertionsCommand; } |