diff options
Diffstat (limited to 'src/preprocessing/preprocessing_pass_context.h')
| -rw-r--r-- | src/preprocessing/preprocessing_pass_context.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/preprocessing/preprocessing_pass_context.h b/src/preprocessing/preprocessing_pass_context.h index 106b1aadb..f4317d786 100644 --- a/src/preprocessing/preprocessing_pass_context.h +++ b/src/preprocessing/preprocessing_pass_context.h @@ -44,10 +44,10 @@ class PreprocessingPassContext theory::booleans::CircuitPropagator* circuitPropagator); SmtEngine* getSmt() { return d_smt; } - TheoryEngine* getTheoryEngine() { return d_smt->d_theoryEngine; } + TheoryEngine* getTheoryEngine() { return d_smt->getTheoryEngine(); } prop::PropEngine* getPropEngine() { return d_smt->getPropEngine(); } - context::Context* getUserContext() { return d_smt->d_userContext; } - context::Context* getDecisionContext() { return d_smt->d_context; } + context::Context* getUserContext() { return d_smt->getUserContext(); } + context::Context* getDecisionContext() { return d_smt->getContext(); } RemoveTermFormulas* getIteRemover() { return d_iteRemover; } theory::booleans::CircuitPropagator* getCircuitPropagator() |