diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-12-05 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-12-05 08:01:00 -0800 |
| commit | 38254947a57b9899909d8fbabfbf784690ed5a68 (patch) | |
| tree | 89316c486e70874505f45b46d21a28b5d8f18f96 /src/map/if/ifReduce.c | |
| parent | 52e5b91cbbfe587bae80984bb3672e4c1a70203c (diff) | |
| download | abc-38254947a57b9899909d8fbabfbf784690ed5a68.tar.gz abc-38254947a57b9899909d8fbabfbf784690ed5a68.tar.bz2 abc-38254947a57b9899909d8fbabfbf784690ed5a68.zip | |
Version abc61205
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 ) |