diff options
Diffstat (limited to 'src/theory/model_manager.h')
-rw-r--r-- | src/theory/model_manager.h | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/theory/model_manager.h b/src/theory/model_manager.h index fd8ca6e11..2a62c8be0 100644 --- a/src/theory/model_manager.h +++ b/src/theory/model_manager.h @@ -20,6 +20,7 @@ #include <memory> +#include "smt/env_obj.h" #include "theory/ee_manager.h" #include "theory/logic_info.h" @@ -40,7 +41,7 @@ class TheoryModel; * method is a manager-specific way for setting up the equality engine of the * model in preparation for model building. */ -class ModelManager +class ModelManager : protected EnvObj { public: ModelManager(TheoryEngine& te, Env& env, EqEngineManager& eem); @@ -111,8 +112,6 @@ class ModelManager /** Reference to the theory engine */ TheoryEngine& d_te; - /** Reference to the environment */ - Env& d_env; /** The equality engine manager */ EqEngineManager& d_eem; /** |