diff options
Diffstat (limited to 'src/smt/update_ostream.h')
| -rw-r--r-- | src/smt/update_ostream.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/smt/update_ostream.h b/src/smt/update_ostream.h index cc660ba70..578fe5290 100644 --- a/src/smt/update_ostream.h +++ b/src/smt/update_ostream.h @@ -72,7 +72,7 @@ public: class OptionsErrOstreamUpdate : public OstreamUpdate { public: std::ostream& get() override { return *(options::err()); } - void set(std::ostream* setTo) override { return Options::current().set(options::err, setTo); } + void set(std::ostream* setTo) override { Options::current().base.err = setTo; } }; /* class OptionsErrOstreamUpdate */ class DumpOstreamUpdate : public OstreamUpdate { |