diff options
Diffstat (limited to 'src/util/unsat_core.cpp')
-rw-r--r-- | src/util/unsat_core.cpp | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/util/unsat_core.cpp b/src/util/unsat_core.cpp index 27261635d..6344b3eda 100644 --- a/src/util/unsat_core.cpp +++ b/src/util/unsat_core.cpp @@ -16,6 +16,8 @@ #include "util/unsat_core.h" #include "expr/command.h" +#include "smt/smt_engine_scope.h" +#include "printer/printer.h" namespace CVC4 { @@ -34,7 +36,9 @@ void UnsatCore::toStream(std::ostream& out) const { } std::ostream& operator<<(std::ostream& out, const UnsatCore& core) { - core.toStream(out); + smt::SmtScope smts(core.d_smt); + Expr::dag::Scope scope(out, false); + Printer::getPrinter(options::outputLanguage())->toStream(out, core); return out; } |