diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-08-31 17:35:58 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-01 00:35:58 +0000 |
| commit | 068a0aa316f3760b401d900d39101955ba66b6c2 (patch) | |
| tree | 78f7da88e0040dade1da7033bb4d98f5bb8a23d3 /src/preprocessing/preprocessing_pass_context.cpp | |
| parent | 5e969241cd3bdec90138edb5d1c88d3e1797cb43 (diff) | |
rewriter: Make clearCaches non-static. (#7100)
This works towards getting rid of SmtEngine::currentSmtEngine and
closing #3468.
Diffstat (limited to 'src/preprocessing/preprocessing_pass_context.cpp')
| -rw-r--r-- | src/preprocessing/preprocessing_pass_context.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/preprocessing/preprocessing_pass_context.cpp b/src/preprocessing/preprocessing_pass_context.cpp index 7fefafce6..fe4c8784a 100644 --- a/src/preprocessing/preprocessing_pass_context.cpp +++ b/src/preprocessing/preprocessing_pass_context.cpp @@ -44,6 +44,12 @@ const LogicInfo& PreprocessingPassContext::getLogicInfo() { return d_env.getLogicInfo(); } + +theory::Rewriter* PreprocessingPassContext::getRewriter() +{ + return d_env.getRewriter(); +} + theory::TrustSubstitutionMap& PreprocessingPassContext::getTopLevelSubstitutions() { |