diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-12-02 14:24:52 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-02 14:24:52 -0800 |
commit | a9eaeb438882abd6d06be41c6fcb87f4f04bcc8c (patch) | |
tree | af6188637ea86feb9f6bc6595740a2d5129893fb /src/parser/antlr_tracing.h | |
parent | 768157d3bf78337a603004a2a47026ecf1b70612 (diff) |
Rename macro Message to CVC4Message. (#5576)
Diffstat (limited to 'src/parser/antlr_tracing.h')
-rw-r--r-- | src/parser/antlr_tracing.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/parser/antlr_tracing.h b/src/parser/antlr_tracing.h index 03e77224b..b8a18aba8 100644 --- a/src/parser/antlr_tracing.h +++ b/src/parser/antlr_tracing.h @@ -53,7 +53,7 @@ static struct __Cvc4System { struct JavaPrinter { template <class T> JavaPrinter operator+(const T& t) const { - Message() << t; + CVC4Message() << t; return JavaPrinter(); } };/* struct JavaPrinter */ @@ -66,7 +66,7 @@ static struct __Cvc4System { * to the call-by-value semantics of C. All that's left to * do is print the newline. */ - void println(JavaPrinter) { Message() << std::endl; } + void println(JavaPrinter) { CVC4Message() << std::endl; } } out; } System; |