1 files changed, 3 insertions, 3 deletions
diff --git a/src/parser/smt2/sygus_input.h b/src/parser/smt2/sygus_input.h
index 38497dfd2..8ad398cf9 100644
--- a/src/parser/smt2/sygus_input.h
+++ b/src/parser/smt2/sygus_input.h
@@ -23,10 +23,10 @@
 #include "parser/smt2/Smt2Lexer.h"
 #include "parser/smt2/Smt2Parser.h"
 
-// extern void Smt2ParserSetAntlrParser(CVC5::parser::AntlrParser*
+// extern void Smt2ParserSetAntlrParser(cvc5::parser::AntlrParser*
 // newAntlrParser);
 
-namespace CVC5 {
+namespace cvc5 {
 
 class Command;
 class Expr;
@@ -82,6 +82,6 @@ class SygusInput : public AntlrInput {
 };/* class SygusInput */
 
 }  // namespace parser
-}  // namespace CVC5
+}  // namespace cvc5
 
 #endif /* CVC4__PARSER__SYGUS_INPUT_H */