Incremental solver works and the test case passes

[satune.git] / src / ASTTransform / elementopt.cc

diff --git a/src/ASTTransform/elementopt.cc b/src/ASTTransform/elementopt.cc
index 22a6dbe715139a516ddcc510c6c86678ce4f1554..413d5ddf427d6517ce6a8329981f3b7bc21c3baa 100644 (file)
--- a/src/ASTTransform/elementopt.cc
+++ b/src/ASTTransform/elementopt.cc
@@ -26,7 +26,7 @@ void ElementOpt::doTransform() {
        SetIteratorBooleanEdge *iterator = solver->getConstraints();
        while (iterator->hasNext()) {
                BooleanEdge constraint = iterator->next();
-               if (constraint->type == PREDICATEOP)
+               if (!solver->isConstraintEncoded(constraint) && constraint->type == PREDICATEOP)
                        workList.push((BooleanPredicate *)constraint.getBoolean());
        }
        while (workList.getSize() != 0) {