diff options
Diffstat (limited to 'src/smt')
-rw-r--r-- | src/smt/env.cpp | 2 | ||||
-rw-r--r-- | src/smt/output_manager.cpp | 3 |
2 files changed, 3 insertions, 2 deletions
diff --git a/src/smt/env.cpp b/src/smt/env.cpp index 647981ab3..87c19d0e1 100644 --- a/src/smt/env.cpp +++ b/src/smt/env.cpp @@ -107,6 +107,6 @@ const Printer& Env::getPrinter() return *Printer::getPrinter(d_options[options::outputLanguage]); } -std::ostream& Env::getDumpOut() { return *d_options.getOut(); } +std::ostream& Env::getDumpOut() { return *d_options.base.out; } } // namespace cvc5 diff --git a/src/smt/output_manager.cpp b/src/smt/output_manager.cpp index 6395a4c2c..aa91bb184 100644 --- a/src/smt/output_manager.cpp +++ b/src/smt/output_manager.cpp @@ -15,6 +15,7 @@ #include "smt/output_manager.h" +#include "options/base_options.h" #include "smt/smt_engine.h" namespace cvc5 { @@ -25,7 +26,7 @@ const Printer& OutputManager::getPrinter() const { return d_smt->getPrinter(); } std::ostream& OutputManager::getDumpOut() const { - return *d_smt->getOptions().getOut(); + return *d_smt->getOptions().base.out; } } // namespace cvc5 |