diff options
Diffstat (limited to 'src/preprocessing/passes/static_learning.cpp')
| -rw-r--r-- | src/preprocessing/passes/static_learning.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/preprocessing/passes/static_learning.cpp b/src/preprocessing/passes/static_learning.cpp index 09d24d900..24d25e354 100644 --- a/src/preprocessing/passes/static_learning.cpp +++ b/src/preprocessing/passes/static_learning.cpp @@ -47,8 +47,7 @@ PreprocessingPassResult StaticLearning::applyInternal( } else { - assertionsToPreprocess->replace( - i, theory::Rewriter::rewrite(learned.constructNode())); + assertionsToPreprocess->replace(i, rewrite(learned.constructNode())); } } return PreprocessingPassResult::NO_CONFLICT; |