Preprocess bug fix

diff --git a/src/ASTTransform/preprocess.cc b/src/ASTTransform/preprocess.cc
index 7b4877b7a57cbffea4bb13a34fb10dbc39bb58a8..c0e357173d3d815d10bd08887850cb228ef5e140 100644 (file)
--- 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);