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/theory/rewriter.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/theory/rewriter.cpp')
| -rw-r--r-- | src/theory/rewriter.cpp | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/src/theory/rewriter.cpp b/src/theory/rewriter.cpp index eeb2f166d..de8750d89 100644 --- a/src/theory/rewriter.cpp +++ b/src/theory/rewriter.cpp @@ -504,14 +504,13 @@ RewriteResponse Rewriter::processTrustRewriteResponse( return RewriteResponse(tresponse.d_status, trn.getNode()); } -void Rewriter::clearCaches() { - Rewriter* rewriter = getInstance(); - +void Rewriter::clearCaches() +{ #ifdef CVC5_ASSERTIONS - rewriter->d_rewriteStack.reset(nullptr); + d_rewriteStack.reset(nullptr); #endif - rewriter->clearCachesInternal(); + clearCachesInternal(); } } // namespace theory |