From 8e2c02201d30b5715a095ffe0098dd74a636ac85 Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Fri, 3 Sep 2021 05:34:27 -0700
Subject: theory: Have more classes in theory with reference to Env derive from
 EnvObj. (#7130)

---
 src/theory/theory_state.h | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'src/theory/theory_state.h')

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).
-- 
cgit v1.2.3