Fix tabbing

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

diff --git a/src/ASTTransform/preprocess.cc b/src/ASTTransform/preprocess.cc
index 1e04fd096470f2147727d4ae8d021cf3e57f52e0..1e60c19f244468836eddcd05b1f1436cf3fc6bf8 100644 (file)
--- a/src/ASTTransform/preprocess.cc
+++ b/src/ASTTransform/preprocess.cc
@@ -15,10 +15,10 @@ Preprocess::~Preprocess() {
 void Preprocess::doTransform() {
        if (solver->getTuner()->getTunable(PREPROCESS, &onoff) == 0)
                return;
-       
+
        BooleanIterator bit(solver);
-       while(bit.hasNext()) {
-               Boolean *b=bit.next();
+       while (bit.hasNext()) {
+               Boolean *b = bit.next();
                if (b->type == BOOLEANVAR)
                        processBooleanVar((BooleanVar *)b);
        }
@@ -26,7 +26,7 @@ void Preprocess::doTransform() {
 }
 
 void Preprocess::resolveBooleanVars() {
-       SetIteratorBoolean * iterator = toremove.iterator();
+       SetIteratorBoolean *iterator = toremove.iterator();
        while (iterator->hasNext()) {
                BooleanVar *bv = (BooleanVar *) iterator->next();
                if (bv->polarity == P_TRUE) {
@@ -38,9 +38,9 @@ void Preprocess::resolveBooleanVars() {
        delete iterator;
 }
 
-void Preprocess::processBooleanVar(BooleanVar * b) {
-       if (b->polarity==P_TRUE ||
-                       b->polarity==P_FALSE) {
+void Preprocess::processBooleanVar(BooleanVar *b) {
+       if (b->polarity == P_TRUE ||
+                       b->polarity == P_FALSE) {
                toremove.add(b);
        }
 }