1 files changed, 4 insertions, 4 deletions
diff --git a/src/theory/arrays/union_find.cpp b/src/theory/arrays/union_find.cpp
index eeb870775..e178e9dbb 100644
--- a/src/theory/arrays/union_find.cpp
+++ b/src/theory/arrays/union_find.cpp
@@ -23,7 +23,7 @@
 
 using namespace std;
 
-namespace CVC4 {
+namespace CVC5 {
 namespace theory {
 namespace arrays {
 
@@ -51,6 +51,6 @@ template void UnionFind<Node, NodeHashFunction>::notify();
 
 template void UnionFind<TNode, TNodeHashFunction>::notify();
 
-}/* CVC4::theory::arrays namespace */
-}/* CVC4::theory namespace */
-}/* CVC4 namespace */
+}  // namespace arrays
+}  // namespace theory
+}  // namespace CVC5