1 files changed, 7 insertions, 7 deletions
diff --git a/src/parser/antlr_line_buffered_input.cpp b/src/parser/antlr_line_buffered_input.cpp
index 66ebff7b3..1dd7c953c 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 CVC5 {
+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));
-  CVC5::parser::pANTLR3_LINE_BUFFERED_INPUT_STREAM line_buffered_input =
-      (CVC5::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));
-  CVC5::parser::pANTLR3_LINE_BUFFERED_INPUT_STREAM line_buffered_input =
-      (CVC5::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(!((CVC5::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));
 
@@ -412,4 +412,4 @@ static pANTLR3_INPUT_STREAM antlr3CreateLineBufferedStream(
 }
 
 }  // namespace parser
-}  // namespace CVC5
+}  // namespace cvc5