1 files changed, 7 insertions, 7 deletions
diff --git a/src/expr/attribute_internals.h b/src/expr/attribute_internals.h
index 271c34d3c..bbd5455be 100644
--- a/src/expr/attribute_internals.h
+++ b/src/expr/attribute_internals.h
@@ -25,7 +25,7 @@
 
 #include <unordered_map>
 
-namespace CVC4 {
+namespace CVC5 {
 namespace expr {
 
 // ATTRIBUTE HASH FUNCTIONS ====================================================
@@ -54,7 +54,7 @@ struct AttrBoolHashFunction {
   }
 };/* struct AttrBoolHashFunction */
 
-}/* CVC4::expr::attr namespace */
+}  // namespace attr
 
 // ATTRIBUTE TYPE MAPPINGS =====================================================
 
@@ -131,7 +131,7 @@ struct KindValueToTableValueMapping<
   static T convertBack(const uint64_t& t) { return static_cast<T>(t); }
 };
 
-}/* CVC4::expr::attr namespace */
+}  // namespace attr
 
 // ATTRIBUTE HASH TABLES =======================================================
 
@@ -363,7 +363,7 @@ public:
   }
 };/* class AttrHash<bool> */
 
-}/* CVC4::expr::attr namespace */
+}  // namespace attr
 
 // ATTRIBUTE IDENTIFIER ASSIGNMENT TEMPLATE ====================================
 
@@ -393,7 +393,7 @@ struct LastAttributeId {
   }
 };
 
-}/* CVC4::expr::attr namespace */
+}  // namespace attr
 
 // ATTRIBUTE DEFINITION ========================================================
 
@@ -511,7 +511,7 @@ template <class T, bool context_dep>
 const uint64_t Attribute<T, bool, context_dep>::s_id =
     Attribute<T, bool, context_dep>::registerAttribute();
 
-}/* CVC4::expr namespace */
-}/* CVC4 namespace */
+}  // namespace expr
+}  // namespace CVC5
 
 #endif /* CVC4__EXPR__ATTRIBUTE_INTERNALS_H */