diff options
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 2c3e66c12..95f6100f4 100644 --- a/src/parser/antlr_tracing.h +++ b/src/parser/antlr_tracing.h @@ -54,7 +54,7 @@ static struct __Cvc4System { struct JavaPrinter { template <class T> JavaPrinter operator+(const T& t) const { - ::CVC4::Message() << t; + Message() << t; return JavaPrinter(); } };/* struct JavaPrinter */ @@ -67,7 +67,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) { ::CVC4::Message() << std::endl; } + void println(JavaPrinter) { Message() << std::endl; } } out; } System; |