From: bdemsky <bdemsky@uci.edu>
Date: Fri, 21 Sep 2018 03:03:40 +0000 (-0700)
Subject: Merge branch 'scratch' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=af0107575c488f00471f985f5db889c953d019f9;hp=cb27924ba5a3ef99d44a1e0cbdd43906b2a28d61

Merge branch 'scratch' of ssh://plrg.eecs.uci.edu/home/git/constraint_compiler
---

diff --git a/src/ASTTransform/elementopt.cc b/src/ASTTransform/elementopt.cc
index 4477379..b0866ed 100644
--- 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;
 				}
 			}