Fix tabbing
[satune.git] / src / Translator / decomposeorderresolver.cc
index 8a177faac749a4907d6c16210bb239d86da602cb..64ebc3426e925ce2310037d017654e2e9f12f3f1 100644 (file)
@@ -51,12 +51,12 @@ bool DecomposeOrderResolver::resolveOrder(uint64_t first, uint64_t second) {
        }
 }
 
-bool DecomposeOrderResolver::resolvePartialOrder(OrderNode* first, OrderNode* second){
-       if(first->sccNum > second->sccNum){
+bool DecomposeOrderResolver::resolvePartialOrder(OrderNode *first, OrderNode *second) {
+       if (first->sccNum > second->sccNum) {
                return false;
        } else {
                return graph->isTherePath(first, second);
        }
-               
+
 }