diff options
Diffstat (limited to 'src/base/abci')
-rw-r--r-- | src/base/abci/abcMffc.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/base/abci/abcMffc.c b/src/base/abci/abcMffc.c index 3fb4bdf1..b4510bd0 100644 --- a/src/base/abci/abcMffc.c +++ b/src/base/abci/abcMffc.c @@ -1125,6 +1125,11 @@ int Abc_NodeCompareVolumeDecrease( Abc_Obj_t ** pp1, Abc_Obj_t ** pp2 ) return -1; if ( Diff < 0 ) return 1; + Diff = Abc_ObjRegular(*pp1)->Id - Abc_ObjRegular(*pp2)->Id; + if ( Diff > 0 ) + return -1; + if ( Diff < 0 ) + return 1; return 0; } |