1 files changed, 3 insertions, 3 deletions
diff --git a/src/context/cdinsert_hashmap.h b/src/context/cdinsert_hashmap.h
index 56004463a..6bd15c645 100644
--- a/src/context/cdinsert_hashmap.h
+++ b/src/context/cdinsert_hashmap.h
@@ -45,7 +45,7 @@
 
 #pragma once
 
-namespace CVC4 {
+namespace CVC5 {
 namespace context {
 
 
@@ -406,5 +406,5 @@ class CDInsertHashMap<TNode, Data, HashFcn> : public ContextObj {
                 "Cannot create a CDInsertHashMap with TNode keys");
 };
 
-}/* CVC4::context namespace */
-}/* CVC4 namespace */
+}  // namespace context
+}  // namespace CVC5