From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Mon, 17 Dec 2018 21:30:54 +0000 (-0800)
Subject: Preprocess bug fix
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=289610c652ef7791f5aac9f27f4bc2d0a2f6c162;p=satune.git

Preprocess bug fix
---

diff --git a/src/ASTTransform/preprocess.cc b/src/ASTTransform/preprocess.cc
index 7b4877b..c0e3571 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->isBooleanVarUsed() || solver->getTuner()->getTunable(PREPROCESS, &onoff) == 0)
 		return;
 
 	BooleanIterator bit(solver);