X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FASTTransform%2Fpreprocess.cc;h=ca2a655987b6395b286e045bb72e281c995d4f82;hp=7b4877b7a57cbffea4bb13a34fb10dbc39bb58a8;hb=cbd921ee35b6a29934fd7cecccde7f160228af17;hpb=c93f23abbac2fb61c7e6663df292161038620fdb

diff --git a/src/ASTTransform/preprocess.cc b/src/ASTTransform/preprocess.cc
index 7b4877b..ca2a655 100644
--- a/src/ASTTransform/preprocess.cc
+++ b/src/ASTTransform/preprocess.cc
@@ -13,7 +13,7 @@ Preprocess::~Preprocess() {
 }
 
 void Preprocess::doTransform() {
-	if (!solver->isBooleanVarUsed() && solver->getTuner()->getTunable(PREPROCESS, &onoff) == 0)
+	if (solver->isUnSAT() || !solver->isBooleanVarUsed() || solver->getTuner()->getTunable(PREPROCESS, &onoff) == 0)
 		return;
 
 	BooleanIterator bit(solver);