1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/hash.h b/src/util/hash.h
index 8adb4b473..066e01aad 100644
--- a/src/util/hash.h
+++ b/src/util/hash.h
@@ -38,7 +38,7 @@ struct hash<uint64_t> {
 
 }/* std namespace */
 
-namespace CVC4 {
+namespace CVC5 {
 
 namespace fnv1a {
 
@@ -64,6 +64,6 @@ struct PairHashFunction {
   }
 };/* struct PairHashFunction */
 
-}/* CVC4 namespace */
+}  // namespace CVC5
 
 #endif /* CVC4__HASH_H */