1 files changed, 6 insertions, 7 deletions
diff --git a/src/theory/arith/matrix.h b/src/theory/arith/matrix.h
index 09fdc2e91..553cef7d4 100644
--- a/src/theory/arith/matrix.h
+++ b/src/theory/arith/matrix.h
@@ -28,7 +28,7 @@
 #include "util/dense_map.h"
 #include "util/index.h"
 
-namespace CVC4 {
+namespace CVC5 {
 namespace theory {
 namespace arith {
 
@@ -368,8 +368,8 @@ public:
   typedef MatrixEntry<T> Entry;
 
 protected:
-  typedef CVC4::theory::arith::RowVector<T> RowVectorT;
-  typedef CVC4::theory::arith::ColumnVector<T> ColumnVectorT;
+ typedef CVC5::theory::arith::RowVector<T> RowVectorT;
+ typedef CVC5::theory::arith::ColumnVector<T> ColumnVectorT;
 
 public:
   typedef typename RowVectorT::const_iterator RowIterator;
@@ -997,7 +997,6 @@ protected:
 
 };/* class Matrix<T> */
 
-}/* CVC4::theory::arith namespace */
-}/* CVC4::theory namespace */
-}/* CVC4 namespace */
-
+}  // namespace arith
+}  // namespace theory
+}  // namespace CVC5