diff options
Diffstat (limited to 'src/printer/tptp/tptp_printer.cpp')
| -rw-r--r-- | src/printer/tptp/tptp_printer.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/printer/tptp/tptp_printer.cpp b/src/printer/tptp/tptp_printer.cpp index 14bc6f220..bb8df120e 100644 --- a/src/printer/tptp/tptp_printer.cpp +++ b/src/printer/tptp/tptp_printer.cpp @@ -38,12 +38,12 @@ void TptpPrinter::toStream(std::ostream& out, int toDepth, size_t dag) const { - n.toStream(out, toDepth, dag, language::output::LANG_SMTLIB_V2_6); + n.toStream(out, toDepth, dag, Language::LANG_SMTLIB_V2_6); }/* TptpPrinter::toStream() */ void TptpPrinter::toStream(std::ostream& out, const CommandStatus* s) const { - s->toStream(out, language::output::LANG_SMTLIB_V2_6); + s->toStream(out, Language::LANG_SMTLIB_V2_6); }/* TptpPrinter::toStream() */ void TptpPrinter::toStream(std::ostream& out, const smt::Model& m) const @@ -52,7 +52,7 @@ void TptpPrinter::toStream(std::ostream& out, const smt::Model& m) const : "CandidateFiniteModel"); out << "% SZS output start " << statusName << " for " << m.getInputName() << endl; - this->Printer::toStreamUsing(language::output::LANG_SMTLIB_V2_6, out, m); + this->Printer::toStreamUsing(Language::LANG_SMTLIB_V2_6, out, m); out << "% SZS output end " << statusName << " for " << m.getInputName() << endl; } |