diff options
Diffstat (limited to 'src/preprocessing/preprocessing_pass_context.cpp')
| -rw-r--r-- | src/preprocessing/preprocessing_pass_context.cpp | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/src/preprocessing/preprocessing_pass_context.cpp b/src/preprocessing/preprocessing_pass_context.cpp index 8a8bad20f..ac0301cc0 100644 --- a/src/preprocessing/preprocessing_pass_context.cpp +++ b/src/preprocessing/preprocessing_pass_context.cpp @@ -28,8 +28,8 @@ PreprocessingPassContext::PreprocessingPassContext( SmtEngine* smt, Env& env, theory::booleans::CircuitPropagator* circuitPropagator) - : d_smt(smt), - d_env(env), + : EnvObj(env), + d_smt(smt), d_circuitPropagator(circuitPropagator), d_llm(env.getTopLevelSubstitutions(), env.getUserContext(), @@ -46,11 +46,6 @@ const LogicInfo& PreprocessingPassContext::getLogicInfo() const return d_env.getLogicInfo(); } -theory::Rewriter* PreprocessingPassContext::getRewriter() const -{ - return d_env.getRewriter(); -} - theory::TrustSubstitutionMap& PreprocessingPassContext::getTopLevelSubstitutions() const { |