Rename namespace CVC4 to CVC5. (#6249)

1 files changed, 8 insertions, 8 deletions

diff --git a/src/parser/antlr_line_buffered_input.cpp b/src/parser/antlr_line_buffered_input.cpp
index 37c38e83b..66ebff7b3 100644
--- a/src/parser/antlr_line_buffered_input.cpp
+++ b/src/parser/antlr_line_buffered_input.cpp
@@ -38,7 +38,7 @@
 #include "base/check.h"
 #include "base/output.h"
 
-namespace CVC4 {
+namespace CVC5 {
 namespace parser {
 
 static pANTLR3_INPUT_STREAM antlr3CreateLineBufferedStream(
@@ -218,8 +218,8 @@ setupInputStream(pANTLR3_INPUT_STREAM input)
 
 static ANTLR3_UCHAR bufferedInputLA(pANTLR3_INT_STREAM is, ANTLR3_INT32 la) {
   pANTLR3_INPUT_STREAM input = ((pANTLR3_INPUT_STREAM)(is->super));
-  CVC4::parser::pANTLR3_LINE_BUFFERED_INPUT_STREAM line_buffered_input =
-      (CVC4::parser::pANTLR3_LINE_BUFFERED_INPUT_STREAM)input;
+  CVC5::parser::pANTLR3_LINE_BUFFERED_INPUT_STREAM line_buffered_input =
+      (CVC5::parser::pANTLR3_LINE_BUFFERED_INPUT_STREAM)input;
   uint8_t* result = line_buffered_input->line_buffer->getPtrWithOffset(
       input->line, input->charPositionInLine, la - 1);
   return (result != NULL) ? *result : ANTLR3_CHARSTREAM_EOF;
@@ -255,8 +255,8 @@ static void bufferedInputRewind(pANTLR3_INT_STREAM is, ANTLR3_MARKER mark) {
 
 static void bufferedInputConsume(pANTLR3_INT_STREAM is) {
   pANTLR3_INPUT_STREAM input = ((pANTLR3_INPUT_STREAM)(is->super));
-  CVC4::parser::pANTLR3_LINE_BUFFERED_INPUT_STREAM line_buffered_input =
-      (CVC4::parser::pANTLR3_LINE_BUFFERED_INPUT_STREAM)input;
+  CVC5::parser::pANTLR3_LINE_BUFFERED_INPUT_STREAM line_buffered_input =
+      (CVC5::parser::pANTLR3_LINE_BUFFERED_INPUT_STREAM)input;
 
   uint8_t* current = line_buffered_input->line_buffer->getPtr(
       input->line, input->charPositionInLine);
@@ -285,7 +285,7 @@ static void bufferedInputSeek(pANTLR3_INT_STREAM is, ANTLR3_MARKER seekPoint) {
   pANTLR3_INPUT_STREAM input = ((pANTLR3_INPUT_STREAM)(is->super));
 
   // Check that we are not seeking backwards.
-  Assert(!((CVC4::parser::pANTLR3_LINE_BUFFERED_INPUT_STREAM)input)
+  Assert(!((CVC5::parser::pANTLR3_LINE_BUFFERED_INPUT_STREAM)input)
               ->line_buffer->isPtrBefore(
                   (uint8_t*)seekPoint, input->line, input->charPositionInLine));
 
@@ -411,5 +411,5 @@ static pANTLR3_INPUT_STREAM antlr3CreateLineBufferedStream(
   return input;
 }
 
-}/* CVC4::parser namespace */
-}/* CVC4 namespace */
+}  // namespace parser
+}  // namespace CVC5