New technology mapper.

This commit is contained in:
Alan Mishchenko 2013-07-13 11:16:20 -07:00
parent 4a50b09c67
commit 167340527b
1 changed files with 1 additions and 1 deletions

View File

@ -540,7 +540,7 @@ static inline int Mpm_ObjDeriveCut( Mpm_Man_t * p, Mpm_Cut_t ** pCuts, Mpm_Cut_t
pCut->iFunc = 0; pCut->iFunc = ~pCut->iFunc;
pCut->fUseless = 0;
pCut->fCompl = 0;
assert( pCut->nLeaves > 0 );
// assert( pCut->nLeaves > 0 );
p->nCutsMerged++;
if ( p->pPars->fUseTruth )
Vec_IntSelectSort( pCut->pLeaves, pCut->nLeaves );