diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-11-05 22:28:18 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-05 22:28:18 -0600 |
| commit | af18cd275f340d1896c3b635dbeecbea2e521db1 (patch) | |
| tree | 438137ddb999a853b543baa70e8009da212c1e05 /src/printer/tptp/tptp_printer.cpp | |
| parent | ac8b2593bed81125cb1a494e4b8311e517d0e3d9 (diff) | |
Simplify printing with respect to expression types (#5394)
This removes infrastructure for stream property related to printing type annotations on all variables.
This is towards refactoring the printers.
Diffstat (limited to 'src/printer/tptp/tptp_printer.cpp')
| -rw-r--r-- | src/printer/tptp/tptp_printer.cpp | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/printer/tptp/tptp_printer.cpp b/src/printer/tptp/tptp_printer.cpp index d18d0c1fd..92bbc52e8 100644 --- a/src/printer/tptp/tptp_printer.cpp +++ b/src/printer/tptp/tptp_printer.cpp @@ -35,10 +35,12 @@ namespace CVC4 { namespace printer { namespace tptp { -void TptpPrinter::toStream( - std::ostream& out, TNode n, int toDepth, bool types, size_t dag) const +void TptpPrinter::toStream(std::ostream& out, + TNode n, + int toDepth, + size_t dag) const { - n.toStream(out, toDepth, types, dag, language::output::LANG_SMTLIB_V2_5); + n.toStream(out, toDepth, dag, language::output::LANG_SMTLIB_V2_5); }/* TptpPrinter::toStream() */ void TptpPrinter::toStream(std::ostream& out, const CommandStatus* s) const |