1 files changed, 4 insertions, 20 deletions
diff --git a/src/preprocessing/preprocessing_pass_context.cpp b/src/preprocessing/preprocessing_pass_context.cpp
index ac0301cc0..a0894351d 100644
--- a/src/preprocessing/preprocessing_pass_context.cpp
+++ b/src/preprocessing/preprocessing_pass_context.cpp
@@ -31,20 +31,11 @@ PreprocessingPassContext::PreprocessingPassContext(
     : EnvObj(env),
       d_smt(smt),
       d_circuitPropagator(circuitPropagator),
-      d_llm(env.getTopLevelSubstitutions(),
-            env.getUserContext(),
-            env.getProofNodeManager()),
-      d_symsInAssertions(env.getUserContext())
+      d_llm(
+          env.getTopLevelSubstitutions(), userContext(), getProofNodeManager()),
+      d_symsInAssertions(userContext())
 {
 }
-const Options& PreprocessingPassContext::getOptions() const
-{
-  return d_env.getOptions();
-}
-const LogicInfo& PreprocessingPassContext::getLogicInfo() const
-{
-  return d_env.getLogicInfo();
-}
 
 theory::TrustSubstitutionMap&
 PreprocessingPassContext::getTopLevelSubstitutions() const
@@ -60,14 +51,7 @@ prop::PropEngine* PreprocessingPassContext::getPropEngine() const
 {
   return d_smt->getPropEngine();
 }
-context::Context* PreprocessingPassContext::getUserContext() const
-{
-  return d_env.getUserContext();
-}
-context::Context* PreprocessingPassContext::getDecisionContext() const
-{
-  return d_env.getContext();
-}
+
 void PreprocessingPassContext::spendResource(Resource r)
 {
   d_env.getResourceManager()->spendResource(r);