diff options
Diffstat (limited to 'src/map/if/ifReduce.c')
| -rw-r--r-- | src/map/if/ifReduce.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/map/if/ifReduce.c b/src/map/if/ifReduce.c index 5c8da0d0..0b3cf9c2 100644 --- a/src/map/if/ifReduce.c +++ b/src/map/if/ifReduce.c @@ -522,11 +522,11 @@ void If_ManImproveNodeReduce( If_Man_t * p, If_Obj_t * pObj, int nLimit ) // merge the cuts pCutR = p->ppCuts[0]; - RetValue = If_CutMerge( pCut0, pCut1, pCutR, nLimit ); + RetValue = If_CutMerge( pCut0, pCut1, pCutR ); // try very simple cut if ( !RetValue ) { - RetValue = If_CutMerge( If_ObjCutTriv(pFanin0), If_ObjCutTriv(pFanin1), pCutR, nLimit ); + RetValue = If_CutMerge( If_ObjCutTriv(pFanin0), If_ObjCutTriv(pFanin1), pCutR ); assert( RetValue == 1 ); } if ( RetValue ) |