diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-09-14 15:43:47 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-14 20:43:47 +0000 |
commit | d34e563fe48c42aa06eea44191a21dcf29772339 (patch) | |
tree | 24d25263b80045c98fe0d65f251ea2f56b6d4cbe /src/smt/command.cpp | |
parent | 1014428633ca233aa0c51818d995acaca6ebfda6 (diff) |
Utilities in preparation for print benchmark utility (#7190)
This adds a few utilities in preparation for the print benchmark utility, which will replace our own dumping infrastructure.
Diffstat (limited to 'src/smt/command.cpp')
-rw-r--r-- | src/smt/command.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/smt/command.cpp b/src/smt/command.cpp index 522c38040..adfd2f71d 100644 --- a/src/smt/command.cpp +++ b/src/smt/command.cpp @@ -1186,8 +1186,8 @@ void DeclareFunctionCommand::toStream(std::ostream& out, size_t dag, Language language) const { - Printer::getPrinter(language)->toStreamCmdDeclareFunction( - out, d_func.toString(), sortToTypeNode(d_sort)); + Printer::getPrinter(language)->toStreamCmdDeclareFunction(out, + termToNode(d_func)); } /* -------------------------------------------------------------------------- */ |