diff options
Diffstat (limited to 'src/preprocessing/passes/static_learning.cpp')
-rw-r--r-- | src/preprocessing/passes/static_learning.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/preprocessing/passes/static_learning.cpp b/src/preprocessing/passes/static_learning.cpp index 4ab1a038c..d48857396 100644 --- a/src/preprocessing/passes/static_learning.cpp +++ b/src/preprocessing/passes/static_learning.cpp @@ -18,6 +18,7 @@ #include <string> #include "expr/node.h" +#include "theory/rewriter.h" namespace CVC4 { namespace preprocessing { @@ -43,7 +44,8 @@ PreprocessingPassResult StaticLearning::applyInternal( } else { - assertionsToPreprocess->replace(i, learned); + assertionsToPreprocess->replace( + i, theory::Rewriter::rewrite(learned.constructNode())); } } return PreprocessingPassResult::NO_CONFLICT; |