1 files changed, 14 insertions, 16 deletions
diff --git a/src/expr/kind_template.h b/src/expr/kind_template.h
index ccb7656a9..4661cfa15 100644
--- a/src/expr/kind_template.h
+++ b/src/expr/kind_template.h
@@ -24,7 +24,7 @@
 #include "base/exception.h"
 #include "theory/theory_id.h"
 
-namespace CVC4 {
+namespace CVC5 {
 namespace kind {
 
 enum Kind_t
@@ -35,11 +35,11 @@ enum Kind_t
 
 }; /* enum Kind_t */
 
-}/* CVC4::kind namespace */
+}  // namespace kind
 
 // import Kind into the "CVC4" namespace but keep the individual kind
 // constants under kind::
-typedef ::CVC4::kind::Kind_t Kind;
+typedef ::CVC5::kind::Kind_t Kind;
 
 namespace kind {
 
@@ -52,7 +52,7 @@ namespace kind {
  * @param k The kind
  * @return The name of the kind
  */
-const char* toString(CVC4::Kind k);
+const char* toString(CVC5::Kind k);
 
 /**
  * Writes a kind name to a stream.
@@ -61,22 +61,20 @@ const char* toString(CVC4::Kind k);
  * @param k The kind to write to the stream
  * @return The stream
  */
-std::ostream& operator<<(std::ostream&, CVC4::Kind);
+std::ostream& operator<<(std::ostream&, CVC5::Kind);
 
 /** Returns true if the given kind is associative. This is used by ExprManager to
  * decide whether it's safe to modify big expressions by changing the grouping of
  * the arguments. */
 /* TODO: This could be generated. */
-bool isAssociative(::CVC4::Kind k);
-std::string kindToString(::CVC4::Kind k);
+bool isAssociative(::CVC5::Kind k);
+std::string kindToString(::CVC5::Kind k);
 
 struct KindHashFunction {
-  inline size_t operator()(::CVC4::Kind k) const {
-    return k;
-  }
+  inline size_t operator()(::CVC5::Kind k) const { return k; }
 };/* struct KindHashFunction */
 
-}/* CVC4::kind namespace */
+}  // namespace kind
 
 /**
  * The enumeration for the built-in atomic types.
@@ -99,11 +97,11 @@ std::ostream& operator<<(std::ostream& out, TypeConstant typeConstant);
 
 namespace theory {
 
-::CVC4::theory::TheoryId kindToTheoryId(::CVC4::Kind k);
-::CVC4::theory::TheoryId typeConstantToTheoryId(
-    ::CVC4::TypeConstant typeConstant);
+::CVC5::theory::TheoryId kindToTheoryId(::CVC5::Kind k);
+::CVC5::theory::TheoryId typeConstantToTheoryId(
+    ::CVC5::TypeConstant typeConstant);
 
-}/* CVC4::theory namespace */
-}/* CVC4 namespace */
+}  // namespace theory
+}  // namespace CVC5
 
 #endif /* CVC4__KIND_H */