diff options
Diffstat (limited to 'src/printer/tptp/tptp_printer.cpp')
-rw-r--r-- | src/printer/tptp/tptp_printer.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/printer/tptp/tptp_printer.cpp b/src/printer/tptp/tptp_printer.cpp index c740f7b76..687ad1a61 100644 --- a/src/printer/tptp/tptp_printer.cpp +++ b/src/printer/tptp/tptp_printer.cpp @@ -30,7 +30,7 @@ using namespace std; -namespace CVC5 { +namespace cvc5 { namespace printer { namespace tptp { @@ -99,4 +99,4 @@ void TptpPrinter::toStream(std::ostream& out, const UnsatCore& core) const } // namespace tptp } // namespace printer -} // namespace CVC5 +} // namespace cvc5 |