Fix tabbing

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

diff --git a/src/ASTTransform/integerencoding.cc b/src/ASTTransform/integerencoding.cc
index 2a7b9012f74eae6272ef4a97d23545060028a67a..d5d769dfc4ad1b5fa99f8aba56c8d5f5c15b5539 100644 (file)
--- a/src/ASTTransform/integerencoding.cc
+++ b/src/ASTTransform/integerencoding.cc
@@ -17,7 +17,7 @@ IntegerEncodingTransform::~IntegerEncodingTransform() {
 }
 
 void IntegerEncodingTransform::doTransform() {
-       if(solver->isUnSAT()){
+       if (solver->isUnSAT()) {
                return;
        }
        HashsetOrder *orders = solver->getActiveOrders()->copy();