From 05a53a2ac405bcd18a84024247145f161809c3b0 Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Thu, 1 Apr 2021 09:56:14 -0700
Subject: Rename namespace CVC5 to cvc5. (#6258)

---
 src/printer/smt2/smt2_printer.h | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'src/printer/smt2/smt2_printer.h')

diff --git a/src/printer/smt2/smt2_printer.h b/src/printer/smt2/smt2_printer.h
index a997f789a..a3ab9721c 100644
--- a/src/printer/smt2/smt2_printer.h
+++ b/src/printer/smt2/smt2_printer.h
@@ -21,7 +21,7 @@
 
 #include "printer/printer.h"
 
-namespace CVC5 {
+namespace cvc5 {
 
 class LetBinding;
 
@@ -35,11 +35,11 @@ enum Variant
                    // support for the string standard
 };                 /* enum Variant */
 
-class Smt2Printer : public CVC5::Printer
+class Smt2Printer : public cvc5::Printer
 {
  public:
   Smt2Printer(Variant variant = no_variant) : d_variant(variant) {}
-  using CVC5::Printer::toStream;
+  using cvc5::Printer::toStream;
   void toStream(std::ostream& out,
                 TNode n,
                 int toDepth,
@@ -275,6 +275,6 @@ class Smt2Printer : public CVC5::Printer
 
 }  // namespace smt2
 }  // namespace printer
-}  // namespace CVC5
+}  // namespace cvc5
 
 #endif /* CVC4__PRINTER__SMT2_PRINTER_H */
-- 
cgit v1.2.3