diff options
Diffstat (limited to 'src/preprocessing/passes/theory_preprocess.cpp')
-rw-r--r-- | src/preprocessing/passes/theory_preprocess.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/preprocessing/passes/theory_preprocess.cpp b/src/preprocessing/passes/theory_preprocess.cpp index a4d7db72e..bf9c3e9fe 100644 --- a/src/preprocessing/passes/theory_preprocess.cpp +++ b/src/preprocessing/passes/theory_preprocess.cpp @@ -32,12 +32,11 @@ PreprocessingPassResult TheoryPreprocess::applyInternal( AssertionPipeline* assertionsToPreprocess) { TheoryEngine* te = d_preprocContext->getTheoryEngine(); - te->preprocessStart(); for (size_t i = 0, size = assertionsToPreprocess->size(); i < size; ++i) { TNode a = (*assertionsToPreprocess)[i]; Assert(Rewriter::rewrite(a) == a); - assertionsToPreprocess->replace(i, te->preprocess(a)); + assertionsToPreprocess->replaceTrusted(i, te->preprocess(a)); a = (*assertionsToPreprocess)[i]; Assert(Rewriter::rewrite(a) == a); } |