diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-04-21 10:21:34 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-21 10:21:34 -0700 |
commit | ae5ee4b07dc3d3c792e7fe7f382ff490dd28aca4 (patch) | |
tree | a7c2ab8013f46dbea75fcd6e7da3fb83e2012b2f /src/parser/antlr_tracing.h | |
parent | 86aa9bc35ba9dc9a57913a2ffc71619c7657cc35 (diff) |
Goodbye CVC4, hello cvc5! (#6371)
This commits changes the build system to cvc5 and removes the remaining
occurrences of CVC4. It further cleans up outdated/unused scripts in contrib/.
Diffstat (limited to 'src/parser/antlr_tracing.h')
-rw-r--r-- | src/parser/antlr_tracing.h | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/parser/antlr_tracing.h b/src/parser/antlr_tracing.h index 595a2d784..e9d1d0758 100644 --- a/src/parser/antlr_tracing.h +++ b/src/parser/antlr_tracing.h @@ -44,7 +44,8 @@ */ /** A "System" object, just like in Java! */ -static struct __Cvc4System { +static struct __Cvc5System +{ /** * Helper class just to handle arbitrary string concatenation * with Java syntax. In C++ you cannot do "char*" + "char*", @@ -76,7 +77,11 @@ static struct __Cvc4System { // These are highly dependent on the bugs in a particular ANTLR release. // These seem to work with ANTLR 3.3 as of 4/23/2011. A different trick // works with ANTLR 3.2. EXPECT LOTS OF COMPILER WARNINGS. -#define println(x) println(({int failed=0;__Cvc4System::JavaPrinter()+x;})) +#define println(x) \ + println(({ \ + int failed = 0; \ + __Cvc5System::JavaPrinter() + x; \ + })) #undef ANTLR3_FPRINTF #define ANTLR3_FPRINTF(args...) {int failed=0;fprintf(args);} #undef ANTLR3_PRINTF |