1 files changed, 4 insertions, 4 deletions
diff --git a/src/theory/arith/matrix.h b/src/theory/arith/matrix.h
index 553cef7d4..855f56d1f 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 CVC5 {
+namespace cvc5 {
 namespace theory {
 namespace arith {
 
@@ -368,8 +368,8 @@ public:
   typedef MatrixEntry<T> Entry;
 
 protected:
- typedef CVC5::theory::arith::RowVector<T> RowVectorT;
- typedef CVC5::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;
@@ -999,4 +999,4 @@ protected:
 
 }  // namespace arith
 }  // namespace theory
-}  // namespace CVC5
+}  // namespace cvc5