From 289610c652ef7791f5aac9f27f4bc2d0a2f6c162 Mon Sep 17 00:00:00 2001
From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Mon, 17 Dec 2018 13:30:54 -0800
Subject: [PATCH] Preprocess bug fix

---
 src/ASTTransform/preprocess.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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);
-- 
2.34.1