1 files changed, 3 insertions, 4 deletions
diff --git a/src/expr/expr_iomanip.cpp b/src/expr/expr_iomanip.cpp
index 82ac83d33..4aec28b85 100644
--- a/src/expr/expr_iomanip.cpp
+++ b/src/expr/expr_iomanip.cpp
@@ -22,7 +22,7 @@
 #include "options/options.h"
 #include "options/expr_options.h"
 
-namespace CVC4 {
+namespace CVC5 {
 namespace expr {
 
 const int ExprSetDepth::s_iosIndex = std::ios_base::xalloc();
@@ -122,6 +122,5 @@ std::ostream& operator<<(std::ostream& out, ExprSetDepth sd) {
   return out;
 }
 
-
-}/* namespace CVC4::expr */
-}/* namespace CVC4 */
+}  // namespace expr
+} // namespace CVC5