diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-06-02 14:11:05 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-02 12:11:05 +0000 |
| commit | 6d359817283f196034d8e36d0b9c1f10fb16d644 (patch) | |
| tree | cb7d17927671a3b059575a86b55676eec922cef8 /src/smt/output_manager.cpp | |
| parent | 61b2694ac72d41aeff9c67e3631278e5a3bea5cb (diff) | |
Move public wrapper functions out of options class (#6600)
This PR moves options wrapper functions out of the Options class. These wrapper functions are meant to be called by "external" code that should not access the options modules. This PR thereby significantly reduces the interface of the Options class.
Diffstat (limited to 'src/smt/output_manager.cpp')
| -rw-r--r-- | src/smt/output_manager.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
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 |