diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-09-09 14:33:08 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-09 21:33:08 +0000 |
| commit | 44657985f2d52f58803cf64cf9da93e6419ade35 (patch) | |
| tree | b0afc9f1a0fd2385ab67792db927fd3b6eec42e4 /src/preprocessing/passes/bv_intro_pow2.cpp | |
| parent | e5aaebbbc5ea11b0cb3468169e5c80bf38868c82 (diff) | |
pp passes: Use EnvObj::rewrite() instead of Rewriter::rewrite(). (#7164)
Diffstat (limited to 'src/preprocessing/passes/bv_intro_pow2.cpp')
| -rw-r--r-- | src/preprocessing/passes/bv_intro_pow2.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/preprocessing/passes/bv_intro_pow2.cpp b/src/preprocessing/passes/bv_intro_pow2.cpp index 45df7478c..ff0657dcd 100644 --- a/src/preprocessing/passes/bv_intro_pow2.cpp +++ b/src/preprocessing/passes/bv_intro_pow2.cpp @@ -94,7 +94,7 @@ PreprocessingPassResult BvIntroPow2::applyInternal( Node res = pow2Rewrite(cur, cache); if (res != cur) { - res = Rewriter::rewrite(res); + res = rewrite(res); assertionsToPreprocess->replace(i, res); } } |