Fix tabbing

[satune.git] / src / Encoders / naiveencoder.cc

diff --git a/src/Encoders/naiveencoder.cc b/src/Encoders/naiveencoder.cc
index ac20be5ce06e28572ba61a331f3094fa24a6202e..e3d13050ab416d67fe06b1c69fe25969a02cbdb3 100644 (file)
--- a/src/Encoders/naiveencoder.cc
+++ b/src/Encoders/naiveencoder.cc
@@ -15,7 +15,7 @@
 #include <strings.h>
 
 void naiveEncodingDecision(CSolver *This) {
-       if(This->isUnSAT()){
+       if (This->isUnSAT()) {
                return;
        }
        SetIteratorBooleanEdge *iterator = This->getConstraints();