1 files changed, 5 insertions, 5 deletions
diff --git a/src/theory/sets/rels_utils.h b/src/theory/sets/rels_utils.h
index a85e2d27c..eb3477f5a 100644
--- a/src/theory/sets/rels_utils.h
+++ b/src/theory/sets/rels_utils.h
@@ -21,7 +21,7 @@
 #include "expr/dtype_cons.h"
 #include "expr/node.h"
 
-namespace CVC4 {
+namespace CVC5 {
 namespace theory {
 namespace sets {
 
@@ -95,9 +95,9 @@ public:
         kind::APPLY_CONSTRUCTOR, dt[0].getConstructor(), a, b);
   }     
     
-};             
-}/* CVC4::theory::sets namespace */
-}/* CVC4::theory namespace */
-}/* CVC4 namespace */
+};
+}  // namespace sets
+}  // namespace theory
+}  // namespace CVC5
 
 #endif