Enabling balance again.

9608bcd1 · Alan Mishchenko · 65318997 · 9608bcd1
Commit 9608bcd1 authored Dec 15, 2011 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 5 additions and 0 deletions

src/aig/dar/darBalance.c
+5 -0

No files found.
--- a/src/aig/dar/darBalance.c
+++ b/src/aig/dar/darBalance.c
@@ -253,6 +253,11 @@ int Aig_NodeCompareLevelsDecrease( Aig_Obj_t ** pp1, Aig_Obj_t ** pp2 )
        return -1;
    if ( Diff < 0 ) 
        return 1;
+    Diff = Aig_ObjId(Aig_Regular(*pp1)) - Aig_ObjId(Aig_Regular(*pp2));
+    if ( Diff > 0 )
+        return -1;
+    if ( Diff < 0 ) 
+        return 1;
    return 0; 
 }