Fix tabbing

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

diff --git a/src/ASTTransform/varorderingopt.cc b/src/ASTTransform/varorderingopt.cc
index 9fd8c60eed3cb96512e55c56b9d78138c588fe91..c78252c25f5e95f4f8beb524ca723264a8c8e962 100644 (file)
--- a/src/ASTTransform/varorderingopt.cc
+++ b/src/ASTTransform/varorderingopt.cc
@@ -26,7 +26,7 @@ VarOrderingOpt::~VarOrderingOpt() {
 }
 
 void VarOrderingOpt::doTransform() {
-       if(solver->isUnSAT()){
+       if (solver->isUnSAT()) {
                return;
        }
        BooleanVarOrdering direction = (BooleanVarOrdering)solver->getTuner()->getTunable(VARIABLEORDER, &boolVarOrderingDesc);