diff options
Diffstat (limited to 'src/smt/model.cpp')
| -rw-r--r-- | src/smt/model.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/smt/model.cpp b/src/smt/model.cpp index 5c427fa46..69dddded8 100644 --- a/src/smt/model.cpp +++ b/src/smt/model.cpp @@ -30,7 +30,8 @@ Model::Model(bool isKnownSat, const std::string& inputName) std::ostream& operator<<(std::ostream& out, const Model& m) { options::ioutils::Scope scope(out); options::ioutils::applyDagThresh(out, 0); - Printer::getPrinter(options::outputLanguage())->toStream(out, m); + auto language = options::ioutils::getOutputLang(out); + Printer::getPrinter(language)->toStream(out, m); return out; } |