Preprocess bug fix
authorHamed Gorjiara <hgorjiar@uci.edu>
Mon, 17 Dec 2018 21:30:54 +0000 (13:30 -0800)
committerHamed Gorjiara <hgorjiar@uci.edu>
Mon, 17 Dec 2018 21:30:54 +0000 (13:30 -0800)
src/ASTTransform/preprocess.cc

index 7b4877b..c0e3571 100644 (file)
@@ -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);