diff options
Diffstat (limited to 'src/printer/printer.h')
| -rw-r--r-- | src/printer/printer.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/printer/printer.h b/src/printer/printer.h index 8d1931a83..e3b1d6f40 100644 --- a/src/printer/printer.h +++ b/src/printer/printer.h @@ -22,6 +22,7 @@ #define __CVC4__PRINTER__PRINTER_H #include "util/language.h" +#include "util/sexpr.h" #include "expr/node.h" #include "expr/command.h" @@ -62,6 +63,9 @@ public: /** Write a CommandStatus out to a stream with this Printer. */ virtual void toStream(std::ostream& out, const CommandStatus* s) const throw() = 0; + /** Write an SExpr out to a stream with this Printer. */ + virtual void toStream(std::ostream& out, const SExpr& sexpr) const throw(); + /** * Write a Result out to a stream with this Printer. * |