1 files changed, 3 insertions, 4 deletions
diff --git a/src/context/cdo.h b/src/context/cdo.h
index c6d9e93f6..79e73d38f 100644
--- a/src/context/cdo.h
+++ b/src/context/cdo.h
@@ -21,8 +21,7 @@
 
 #include "context/context.h"
 
-
-namespace CVC4 {
+namespace CVC5 {
 namespace context {
 
 /**
@@ -176,7 +175,7 @@ public:
 
 };/* class CDO */
 
-}/* CVC4::context namespace */
-}/* CVC4 namespace */
+}  // namespace context
+}  // namespace CVC5
 
 #endif /* CVC4__CONTEXT__CDO_H */