diff options
Diffstat (limited to 'src/aig/hop')
| -rw-r--r-- | src/aig/hop/hopBalance.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/aig/hop/hopBalance.c b/src/aig/hop/hopBalance.c index d7458bdc..e9aa4d4d 100644 --- a/src/aig/hop/hopBalance.c +++ b/src/aig/hop/hopBalance.c @@ -221,6 +221,11 @@ int Hop_NodeCompareLevelsDecrease( Hop_Obj_t ** pp1, Hop_Obj_t ** pp2 ) return -1; if ( Diff < 0 ) return 1; + Diff = Hop_Regular(*pp1)->Id - Hop_Regular(*pp2)->Id; + if ( Diff > 0 ) + return -1; + if ( Diff < 0 ) + return 1; return 0; } |