From abefcf8fc8f785f41b4f8b1a4431a079774b725c Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 13 Nov 2012 20:44:34 -0800 Subject: DSD manager. --- src/map/if/ifMap.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/map/if/ifMap.c') diff --git a/src/map/if/ifMap.c b/src/map/if/ifMap.c index a8876889..11b9449d 100644 --- a/src/map/if/ifMap.c +++ b/src/map/if/ifMap.c @@ -243,8 +243,9 @@ void If_ObjPerformMappingAnd( If_Man_t * p, If_Obj_t * pObj, int Mode, int fPrep if ( If_WordCountOnes(pCut0->uSign | pCut1->uSign) > p->pPars->nLutSize ) continue; // merge the cuts - if ( !If_CutMerge( pCut0, pCut1, pCut ) ) + if ( !If_CutMerge( p, pCut0, pCut1, pCut ) ) continue; + assert( If_CutCheck( pCut ) ); if ( pObj->fSpec && pCut->nLeaves == (unsigned)p->pPars->nLutSize ) continue; assert( p->pPars->fSeqMap || pCut->nLeaves > 1 ); -- cgit v1.2.3