1 files changed, 4 insertions, 4 deletions
diff --git a/src/parser/parser.cpp b/src/parser/parser.cpp
index 086792375..a4268e74e 100644
--- a/src/parser/parser.cpp
+++ b/src/parser/parser.cpp
@@ -33,9 +33,9 @@
 #include "smt/command.h"
 
 using namespace std;
-using namespace CVC4::kind;
+using namespace CVC5::kind;
 
-namespace CVC4 {
+namespace CVC5 {
 namespace parser {
 
 Parser::Parser(api::Solver* solver,
@@ -908,5 +908,5 @@ api::Term Parser::mkStringConstant(const std::string& s)
   return d_solver->mkString(str);
 }
 
-} /* CVC4::parser namespace */
-} /* CVC4 namespace */
+}  // namespace parser
+}  // namespace CVC5