projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
edits
[satune.git]
/
src
/
ASTTransform
/
elementopt.cc
diff --git
a/src/ASTTransform/elementopt.cc
b/src/ASTTransform/elementopt.cc
index 44773795c965a180014fdcae8a0788974cecb7dc..b0866edc1d0985a64ad213262ef992132581e5e1 100644
(file)
--- a/
src/ASTTransform/elementopt.cc
+++ b/
src/ASTTransform/elementopt.cc
@@
-184,7
+184,8
@@
void ElementOpt::replaceVarWithConst(BooleanPredicate *pred, ElementSet *var, El
solver->boolMap.remove(newpred);
newpred->inputs.set(j, value);
solver->boolMap.put(newpred, newpred);
- workList.push(newpred);
+ if (newpred->isTrue() || newpred->isFalse())
+ workList.push(newpred);
break;
}
}