Fix tabbing

[satune.git] / src / ASTAnalyses / Polarity / polarityassignment.cc

diff --git a/src/ASTAnalyses/Polarity/polarityassignment.cc b/src/ASTAnalyses/Polarity/polarityassignment.cc
index b8b01d0e6a4b99f769a4df47d7fa734c044a5f10..8a94f0aef49cdc22e955125eb93df34a0b95ef6d 100644 (file)
--- a/src/ASTAnalyses/Polarity/polarityassignment.cc
+++ b/src/ASTAnalyses/Polarity/polarityassignment.cc
@@ -2,7 +2,7 @@
 #include "csolver.h"
 
 void computePolarities(CSolver *This) {
-       if(This->isUnSAT()){
+       if (This->isUnSAT()) {
                return;
        }
        SetIteratorBooleanEdge *iterator = This->getConstraints();