1 files changed, 5 insertions, 5 deletions
diff --git a/test/unit/node/node_manager_white.cpp b/test/unit/node/node_manager_white.cpp
index 588c39181..dcdbc074f 100644
--- a/test/unit/node/node_manager_white.cpp
+++ b/test/unit/node/node_manager_white.cpp
@@ -9,9 +9,9 @@
  ** All rights reserved.  See the file COPYING in the top-level source
  ** directory for licensing information.\endverbatim
  **
- ** \brief White box testing of CVC5::NodeManager.
+ ** \brief White box testing of cvc5::NodeManager.
  **
- ** White box testing of CVC5::NodeManager.
+ ** White box testing of cvc5::NodeManager.
  **/
 
 #include <string>
@@ -21,9 +21,9 @@
 #include "util/integer.h"
 #include "util/rational.h"
 
-namespace CVC5 {
+namespace cvc5 {
 
-using namespace CVC5::expr;
+using namespace cvc5::expr;
 
 namespace test {
 
@@ -81,4 +81,4 @@ TEST_F(TestNodeWhiteNodeManager, topological_sort)
   }
 }
 }  // namespace test
-}  // namespace CVC5
+}  // namespace cvc5