Switch default
authorbdemsky <bdemsky@uci.edu>
Tue, 24 Oct 2017 06:06:49 +0000 (23:06 -0700)
committerbdemsky <bdemsky@uci.edu>
Tue, 24 Oct 2017 06:06:49 +0000 (23:06 -0700)
src/ASTTransform/integerencoding.cc

index 1b34bae..78f1b73 100644 (file)
@@ -20,7 +20,7 @@ void IntegerEncodingTransform::doTransform() {
        SetIteratorOrder *orderit = orders->iterator();
        while (orderit->hasNext()) {
                Order *order = orderit->next();
-               if (GETVARTUNABLE(solver->getTuner(), order->type, ORDERINTEGERENCODING, &onoff))
+               if (GETVARTUNABLE(solver->getTuner(), order->type, ORDERINTEGERENCODING, &offon))
                        integerEncode(order);
        }
        delete orders;