diff options
Diffstat (limited to 'src/smt/env.cpp')
| -rw-r--r-- | src/smt/env.cpp | 2 |
1 files changed, 1 insertions, 1 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 |