diff options
Diffstat (limited to 'src/printer/printer.cpp')
| -rw-r--r-- | src/printer/printer.cpp | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/printer/printer.cpp b/src/printer/printer.cpp index 195247df7..21eb88c8c 100644 --- a/src/printer/printer.cpp +++ b/src/printer/printer.cpp @@ -415,6 +415,13 @@ void Printer::toStreamCmdComment(std::ostream& out, printUnknownCommand(out, "comment"); } +void Printer::toStreamCmdDeclareHeap(std::ostream& out, + TypeNode locType, + TypeNode dataType) const +{ + printUnknownCommand(out, "declare-heap"); +} + void Printer::toStreamCmdCommandSequence( std::ostream& out, const std::vector<Command*>& sequence) const { |