diff options
Diffstat (limited to 'src/smt/options_manager.h')
| -rw-r--r-- | src/smt/options_manager.h | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/smt/options_manager.h b/src/smt/options_manager.h index 4705b4273..2201ceb40 100644 --- a/src/smt/options_manager.h +++ b/src/smt/options_manager.h @@ -42,7 +42,7 @@ namespace smt { class OptionsManager : public OptionsListener { public: - OptionsManager(Options* opts, ResourceManager* rm = nullptr); + OptionsManager(Options* opts); ~OptionsManager(); /** * Called when a set option call is made on the options object associated @@ -65,8 +65,6 @@ class OptionsManager : public OptionsListener private: /** Reference to the options object */ Options* d_options; - /** Pointer to the resource manager */ - ResourceManager* d_resourceManager; /** Manager for the memory of regular-output-channel. */ ManagedRegularOutputChannel d_managedRegularChannel; /** Manager for the memory of diagnostic-output-channel. */ |