X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FASTTransform%2Felementopt.cc;h=899f6591c2b4ce4a7eed0f18e8e1134d73895b4f;hp=96ca8f65cb408c14400fae975dff4d65160b5de0;hb=cbd921ee35b6a29934fd7cecccde7f160228af17;hpb=4fd5cd60484d477ef7110813d8206325f75822ea

diff --git a/src/ASTTransform/elementopt.cc b/src/ASTTransform/elementopt.cc
index 96ca8f6..899f659 100644
--- a/src/ASTTransform/elementopt.cc
+++ b/src/ASTTransform/elementopt.cc
@@ -17,7 +17,7 @@ ElementOpt::~ElementOpt() {
 }
 
 void ElementOpt::doTransform() {
-	if (solver->getTuner()->getTunable(ELEMENTOPT, &onoff) == 0)
+	if (solver->isUnSAT() || solver->getTuner()->getTunable(ELEMENTOPT, &onoff) == 0)
 		return;
 
 	//Set once we know we are going to use it.