Fix tabbing

[satune.git] / src / Backend / satencoder.cc

diff --git a/src/Backend/satencoder.cc b/src/Backend/satencoder.cc
index 618b8c17c22114177393754313dda6a3c1d8aa5c..00219efe24ece732c6aeb57ed3ba450ded890dee 100644 (file)
--- a/src/Backend/satencoder.cc
+++ b/src/Backend/satencoder.cc
@@ -35,7 +35,7 @@ int SATEncoder::solve(long timeout) {
 }
 
 void SATEncoder::encodeAllSATEncoder(CSolver *csolver) {
-       if(csolver->isUnSAT()){
+       if (csolver->isUnSAT()) {
                return;
        }
        SetIteratorBooleanEdge *iterator = csolver->getConstraints();