1 files changed, 3 insertions, 3 deletions
diff --git a/src/theory/logic_info.cpp b/src/theory/logic_info.cpp
index 7f55b4d88..841ec097e 100644
--- a/src/theory/logic_info.cpp
+++ b/src/theory/logic_info.cpp
@@ -27,9 +27,9 @@
 #include "expr/kind.h"
 
 using namespace std;
-using namespace CVC4::theory;
+using namespace CVC5::theory;
 
-namespace CVC4 {
+namespace CVC5 {
 
 LogicInfo::LogicInfo()
     : d_logicString(""),
@@ -725,4 +725,4 @@ std::ostream& operator<<(std::ostream& out, const LogicInfo& logic) {
   return out << logic.getLogicString();
 }
 
-}/* CVC4 namespace */
+}  // namespace CVC5