1 files changed, 4 insertions, 4 deletions
diff --git a/test/unit/test_context.h b/test/unit/test_context.h
index 024488fc4..0f21b2898 100644
--- a/test/unit/test_context.h
+++ b/test/unit/test_context.h
@@ -18,16 +18,16 @@
 #include "context/context.h"
 #include "test.h"
 
-namespace CVC5 {
+namespace cvc5 {
 namespace test {
 
 class TestContext : public TestInternal
 {
  protected:
-  void SetUp() override { d_context.reset(new CVC5::context::Context()); }
-  std::unique_ptr<CVC5::context::Context> d_context;
+  void SetUp() override { d_context.reset(new cvc5::context::Context()); }
+  std::unique_ptr<cvc5::context::Context> d_context;
 };
 
 }  // namespace test
-}  // namespace CVC5
+}  // namespace cvc5
 #endif