Rename namespace CVC5 to cvc5. (#6258)

2 files changed, 6 insertions, 6 deletions

diff --git a/src/printer/cvc/cvc_printer.cpp b/src/printer/cvc/cvc_printer.cpp
index 867bc204a..1556ee74d 100644
--- a/src/printer/cvc/cvc_printer.cpp
+++ b/src/printer/cvc/cvc_printer.cpp
@@ -42,7 +42,7 @@
 
 using namespace std;
 
-namespace CVC5 {
+namespace cvc5 {
 namespace printer {
 namespace cvc {
 
@@ -1614,4 +1614,4 @@ void CvcPrinter::toStreamNodeWithLetify(std::ostream& out,
 
 }  // namespace cvc
 }  // namespace printer
-}  // namespace CVC5
+}  // namespace cvc5
diff --git a/src/printer/cvc/cvc_printer.h b/src/printer/cvc/cvc_printer.h
index 2b240568e..f7458c3f5 100644
--- a/src/printer/cvc/cvc_printer.h
+++ b/src/printer/cvc/cvc_printer.h
@@ -23,17 +23,17 @@
 
 #include "printer/printer.h"
 
-namespace CVC5 {
+namespace cvc5 {
 
 class LetBinding;
 
 namespace printer {
 namespace cvc {
 
-class CvcPrinter : public CVC5::Printer
+class CvcPrinter : public cvc5::Printer
 {
  public:
-  using CVC5::Printer::toStream;
+  using cvc5::Printer::toStream;
   CvcPrinter(bool cvc3Mode = false) : d_cvc3Mode(cvc3Mode) {}
   void toStream(std::ostream& out,
                 TNode n,
@@ -204,6 +204,6 @@ class CvcPrinter : public CVC5::Printer
 
 }  // namespace cvc
 }  // namespace printer
-}  // namespace CVC5
+}  // namespace cvc5
 
 #endif /* CVC4__PRINTER__CVC_PRINTER_H */