1 files changed, 16 insertions, 16 deletions
diff --git a/src/expr/node_value.h b/src/expr/node_value.h
index ecc054a75..3815ea5be 100644
--- a/src/expr/node_value.h
+++ b/src/expr/node_value.h
@@ -32,7 +32,7 @@
 #include "expr/kind.h"
 #include "options/language.h"
 
-namespace CVC5 {
+namespace cvc5 {
 
 template <bool ref_count> class NodeTemplate;
 class TypeNode;
@@ -45,13 +45,13 @@ namespace expr {
 
 namespace kind {
   namespace metakind {
-  template < ::CVC5::Kind k, bool pool>
+  template < ::cvc5::Kind k, bool pool>
   struct NodeValueConstCompare;
 
   struct NodeValueCompare;
   struct NodeValueConstPrinter;
 
-  void deleteNodeValueConstant(::CVC5::expr::NodeValue* nv);
+  void deleteNodeValueConstant(::cvc5::expr::NodeValue* nv);
   }  // namespace metakind
   }  // namespace kind
 
@@ -63,19 +63,19 @@ namespace expr {
 class NodeValue
 {
   template <bool>
-  friend class ::CVC5::NodeTemplate;
-  friend class ::CVC5::TypeNode;
+  friend class ::cvc5::NodeTemplate;
+  friend class ::cvc5::TypeNode;
   template <unsigned nchild_thresh>
-  friend class ::CVC5::NodeBuilder;
-  friend class ::CVC5::NodeManager;
+  friend class ::cvc5::NodeBuilder;
+  friend class ::cvc5::NodeManager;
 
   template <Kind k, bool pool>
-  friend struct ::CVC5::kind::metakind::NodeValueConstCompare;
+  friend struct ::cvc5::kind::metakind::NodeValueConstCompare;
 
-  friend struct ::CVC5::kind::metakind::NodeValueCompare;
-  friend struct ::CVC5::kind::metakind::NodeValueConstPrinter;
+  friend struct ::cvc5::kind::metakind::NodeValueCompare;
+  friend struct ::cvc5::kind::metakind::NodeValueConstPrinter;
 
-  friend void ::CVC5::kind::metakind::deleteNodeValueConstant(NodeValue* nv);
+  friend void ::cvc5::kind::metakind::deleteNodeValueConstant(NodeValue* nv);
 
   friend class RefCountGuard;
 
@@ -396,11 +396,11 @@ struct NodeValueIDEquality {
 inline std::ostream& operator<<(std::ostream& out, const NodeValue& nv);
 
 }  // namespace expr
-}  // namespace CVC5
+}  // namespace cvc5
 
 #include "expr/node_manager.h"
 
-namespace CVC5 {
+namespace cvc5 {
 namespace expr {
 
 inline NodeValue::NodeValue(int) :
@@ -497,11 +497,11 @@ inline NodeValue* NodeValue::getChild(int i) const {
 }
 
 }  // namespace expr
-}  // namespace CVC5
+}  // namespace cvc5
 
 #include "expr/node.h"
 
-namespace CVC5 {
+namespace cvc5 {
 namespace expr {
 
 template <typename T>
@@ -545,6 +545,6 @@ static void __attribute__((used)) debugPrintRawNodeValue(const expr::NodeValue*
 }
 #endif /* CVC4_DEBUG */
 
-}  // namespace CVC5
+}  // namespace cvc5
 
 #endif /* CVC4__EXPR__NODE_VALUE_H */