1 files changed, 3 insertions, 4 deletions
diff --git a/src/context/cdmaybe.h b/src/context/cdmaybe.h
index 8b62c619f..1455ca5f0 100644
--- a/src/context/cdmaybe.h
+++ b/src/context/cdmaybe.h
@@ -24,7 +24,7 @@
 #include "context/cdo.h"
 #include "context/context.h"
 
-namespace CVC4 {
+namespace CVC5 {
 namespace context {
 
 class CDRaised {
@@ -73,6 +73,5 @@ public:
   }
 };/* class CDMaybe<T> */
 
-}/* CVC4::context namespace */
-}/* CVC4 namespace */
-
+}  // namespace context
+}  // namespace CVC5