diff options
Diffstat (limited to 'src/preprocessing/passes/rewrite.cpp')
| -rw-r--r-- | src/preprocessing/passes/rewrite.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/preprocessing/passes/rewrite.cpp b/src/preprocessing/passes/rewrite.cpp index 4704f1cb5..0e7aafcc3 100644 --- a/src/preprocessing/passes/rewrite.cpp +++ b/src/preprocessing/passes/rewrite.cpp @@ -34,7 +34,7 @@ PreprocessingPassResult Rewrite::applyInternal( AssertionPipeline* assertionsToPreprocess) { for (unsigned i = 0; i < assertionsToPreprocess->size(); ++i) { - assertionsToPreprocess->replace(i, Rewriter::rewrite((*assertionsToPreprocess)[i])); + assertionsToPreprocess->replace(i, rewrite((*assertionsToPreprocess)[i])); } return PreprocessingPassResult::NO_CONFLICT; |