diff options
Diffstat (limited to 'src/printer/cvc/cvc_printer.cpp')
-rw-r--r-- | src/printer/cvc/cvc_printer.cpp | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/printer/cvc/cvc_printer.cpp b/src/printer/cvc/cvc_printer.cpp index f8df9d906..2e1170666 100644 --- a/src/printer/cvc/cvc_printer.cpp +++ b/src/printer/cvc/cvc_printer.cpp @@ -905,7 +905,8 @@ void CvcPrinter::toStream(std::ostream& out, const CommandStatus* s) const throw if(tryToStream<CommandSuccess>(out, s, d_cvc3Mode) || tryToStream<CommandFailure>(out, s, d_cvc3Mode) || - tryToStream<CommandUnsupported>(out, s, d_cvc3Mode)) { + tryToStream<CommandUnsupported>(out, s, d_cvc3Mode) || + tryToStream<CommandInterrupted>(out, s, d_cvc3Mode)) { return; } @@ -1267,6 +1268,10 @@ static void toStream(std::ostream& out, const CommandUnsupported* s, bool cvc3Mo out << "UNSUPPORTED" << endl; } +static void toStream(std::ostream& out, const CommandInterrupted* s, bool cvc3Mode) throw() { + out << "INTERRUPTED" << endl; +} + static void toStream(std::ostream& out, const CommandFailure* s, bool cvc3Mode) throw() { out << s->getMessage() << endl; } |