diff options
Diffstat (limited to 'src/theory/theory_state.h')
-rw-r--r-- | src/theory/theory_state.h | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/theory/theory_state.h b/src/theory/theory_state.h index cc58347bf..9162fdeb6 100644 --- a/src/theory/theory_state.h +++ b/src/theory/theory_state.h @@ -21,6 +21,7 @@ #include "context/cdo.h" #include "expr/node.h" #include "smt/env.h" +#include "smt/env_obj.h" #include "theory/valuation.h" namespace cvc5 { @@ -30,7 +31,7 @@ namespace eq { class EqualityEngine; } -class TheoryState +class TheoryState : protected EnvObj { public: TheoryState(Env& env, @@ -117,8 +118,6 @@ class TheoryState Valuation& getValuation(); protected: - /** Reference to the environment. */ - Env& d_env; /** * The valuation proxy for the Theory to communicate back with the * theory engine (and other theories). |