Add Env class (#6093)

This class contains all globally available utilities for internal code.

1 files changed, 3 insertions, 3 deletions

diff --git a/src/smt/smt_engine_state.h b/src/smt/smt_engine_state.h
index 032e15c79..3c3075bf5 100644
--- a/src/smt/smt_engine_state.h
+++ b/src/smt/smt_engine_state.h
@@ -47,7 +47,7 @@ namespace smt {
 class SmtEngineState
 {
  public:
-  SmtEngineState(SmtEngine& smt);
+  SmtEngineState(context::Context* c, context::UserContext* u, SmtEngine& smt);
   ~SmtEngineState() {}
   /**
    * Notify that the expected status of the next check-sat is given by the
@@ -203,9 +203,9 @@ class SmtEngineState
   /** Reference to the SmtEngine */
   SmtEngine& d_smt;
   /** Expr manager context */
-  std::unique_ptr<context::Context> d_context;
+  context::Context* d_context;
   /** User level context */
-  std::unique_ptr<context::UserContext> d_userContext;
+  context::UserContext* d_userContext;
   /** The context levels of user pushes */
   std::vector<int> d_userLevels;