1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/arith/nl/icp/candidate.h b/src/theory/arith/nl/icp/candidate.h
index d4ad11fcf..4bcbf3e85 100644
--- a/src/theory/arith/nl/icp/candidate.h
+++ b/src/theory/arith/nl/icp/candidate.h
@@ -23,7 +23,7 @@
 #include "expr/node.h"
 #include "theory/arith/nl/icp/intersection.h"
 
-namespace CVC5 {
+namespace cvc5 {
 namespace theory {
 namespace arith {
 namespace nl {
@@ -78,7 +78,7 @@ std::ostream& operator<<(std::ostream& os, const Candidate& c);
 }  // namespace nl
 }  // namespace arith
 }  // namespace theory
-}  // namespace CVC5
+}  // namespace cvc5
 
 #endif