1 files changed, 3 insertions, 4 deletions
diff --git a/src/context/context.cpp b/src/context/context.cpp
index 06485c0ba..88c783303 100644
--- a/src/context/context.cpp
+++ b/src/context/context.cpp
@@ -21,8 +21,7 @@
 #include "base/check.h"
 #include "context/context.h"
 
-
-namespace CVC4 {
+namespace CVC5 {
 namespace context {
 
 
@@ -388,5 +387,5 @@ void Scope::enqueueToGarbageCollect(ContextObj* obj) {
   d_garbage->push_back(obj);
 }
 
-} /* CVC4::context namespace */
-} /* CVC4 namespace */
+}  // namespace context
+}  // namespace CVC5