1 files changed, 4 insertions, 4 deletions
diff --git a/test/unit/theory/strings_rewriter_white.cpp b/test/unit/theory/strings_rewriter_white.cpp
index 94bf8b581..13ee14306 100644
--- a/test/unit/theory/strings_rewriter_white.cpp
+++ b/test/unit/theory/strings_rewriter_white.cpp
@@ -24,7 +24,7 @@
 #include "theory/rewriter.h"
 #include "theory/strings/strings_rewriter.h"
 
-namespace CVC5 {
+namespace cvc5 {
 
 using namespace kind;
 using namespace theory;
@@ -41,8 +41,8 @@ TEST_F(TestTheoryWhiteStringsRewriter, rewrite_leq)
   TypeNode intType = d_nodeManager->integerType();
   TypeNode strType = d_nodeManager->stringType();
 
-  Node a = d_nodeManager->mkConst(::CVC5::String("A"));
-  Node bc = d_nodeManager->mkConst(::CVC5::String("BC"));
+  Node a = d_nodeManager->mkConst(::cvc5::String("A"));
+  Node bc = d_nodeManager->mkConst(::cvc5::String("BC"));
   Node x = d_nodeManager->mkVar("x", strType);
   Node y = d_nodeManager->mkVar("y", strType);
 
@@ -61,4 +61,4 @@ TEST_F(TestTheoryWhiteStringsRewriter, rewrite_leq)
 }
 
 }  // namespace test
-}  // namespace CVC5
+}  // namespace cvc5