fix tabbing

[satune.git] / src / ASTTransform / integerencoding.cc

diff --git a/src/ASTTransform/integerencoding.cc b/src/ASTTransform/integerencoding.cc
index 621d2a8c927ee9d10d81315c7dab1f25192d1879..25c5ec87ee2147cc46d697156684f018e54b0321 100644 (file)
--- a/src/ASTTransform/integerencoding.cc
+++ b/src/ASTTransform/integerencoding.cc
@@ -25,7 +25,7 @@ void IntegerEncodingTransform::doTransform() {
        while (orderit->hasNext()) {
                Order *order = orderit->next();
                if (order->type == SATC_PARTIAL)
-                 continue;
+                       continue;
                if (GETVARTUNABLE(solver->getTuner(), order->set->type, ORDERINTEGERENCODING, &offon))
                        integerEncode(order);
        }