1 files changed, 5 insertions, 5 deletions
diff --git a/src/theory/arrays/union_find.h b/src/theory/arrays/union_find.h
index e6886ec11..ebe31baad 100644
--- a/src/theory/arrays/union_find.h
+++ b/src/theory/arrays/union_find.h
@@ -28,11 +28,11 @@
 #include "expr/node.h"
 #include "context/cdo.h"
 
-namespace CVC4 {
+namespace CVC5 {
 
 namespace context {
   class Context;
-}/* CVC4::context namespace */
+  }  // namespace context
 
 namespace theory {
 namespace arrays {
@@ -135,8 +135,8 @@ inline void UnionFind<NodeType, NodeHash>::setCanon(TNode n, TNode newParent) {
   }
 }
 
-}/* CVC4::theory::arrays namespace */
-}/* CVC4::theory namespace */
-}/* CVC4 namespace */
+}  // namespace arrays
+}  // namespace theory
+}  // namespace CVC5
 
 #endif /*CVC4__THEORY__ARRAYS__UNION_FIND_H */