1 files changed, 4 insertions, 4 deletions
diff --git a/src/theory/arith/arithvar.cpp b/src/theory/arith/arithvar.cpp
index 59253e87c..a0c29cb84 100644
--- a/src/theory/arith/arithvar.cpp
+++ b/src/theory/arith/arithvar.cpp
@@ -19,7 +19,7 @@
 #include <limits>
 #include <set>
 
-namespace CVC4 {
+namespace CVC5 {
 namespace theory {
 namespace arith {
 
@@ -30,6 +30,6 @@ bool debugIsASet(const std::vector<ArithVar>& variables){
   return asSet.size() == variables.size();
 }
 
-}/* CVC4::theory::arith namespace */
-}/* CVC4::theory namespace */
-}/* CVC4 namespace */
+}  // namespace arith
+}  // namespace theory
+}  // namespace CVC5