1 files changed, 4 insertions, 4 deletions
diff --git a/src/printer/tptp/tptp_printer.h b/src/printer/tptp/tptp_printer.h
index ea538a245..c59e18ae2 100644
--- a/src/printer/tptp/tptp_printer.h
+++ b/src/printer/tptp/tptp_printer.h
@@ -23,14 +23,14 @@
 
 #include "printer/printer.h"
 
-namespace CVC5 {
+namespace cvc5 {
 namespace printer {
 namespace tptp {
 
-class TptpPrinter : public CVC5::Printer
+class TptpPrinter : public cvc5::Printer
 {
  public:
-  using CVC5::Printer::toStream;
+  using cvc5::Printer::toStream;
   void toStream(std::ostream& out,
                 TNode n,
                 int toDepth,
@@ -64,6 +64,6 @@ class TptpPrinter : public CVC5::Printer
 
 }  // namespace tptp
 }  // namespace printer
-}  // namespace CVC5
+}  // namespace cvc5
 
 #endif /* CVC4__PRINTER__TPTP_PRINTER_H */