diff options
Diffstat (limited to 'src/printer/smt2/smt2_printer.cpp')
| -rw-r--r-- | src/printer/smt2/smt2_printer.cpp | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/printer/smt2/smt2_printer.cpp b/src/printer/smt2/smt2_printer.cpp index bc6902305..032d26511 100644 --- a/src/printer/smt2/smt2_printer.cpp +++ b/src/printer/smt2/smt2_printer.cpp @@ -1938,6 +1938,13 @@ void Smt2Printer::toStreamCmdComment(std::ostream& out, out << "(set-info :notes \"" << s << "\")" << std::endl; } +void Smt2Printer::toStreamCmdDeclareHeap(std::ostream& out, + TypeNode locType, + TypeNode dataType) const +{ + out << "(declare-heap (" << locType << " " << dataType << "))" << std::endl; +} + void Smt2Printer::toStreamCmdEmpty(std::ostream& out, const std::string& name) const { |