diff options
Diffstat (limited to 'src/smt/env.cpp')
| -rw-r--r-- | src/smt/env.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/smt/env.cpp b/src/smt/env.cpp index 647981ab3..1381ef87c 100644 --- a/src/smt/env.cpp +++ b/src/smt/env.cpp @@ -104,9 +104,9 @@ ResourceManager* Env::getResourceManager() const const Printer& Env::getPrinter() { - return *Printer::getPrinter(d_options[options::outputLanguage]); + return *Printer::getPrinter(d_options.base.outputLanguage); } -std::ostream& Env::getDumpOut() { return *d_options.getOut(); } +std::ostream& Env::getDumpOut() { return *d_options.base.out; } } // namespace cvc5 |