From 167340527b4ecaae20bb6340b5432f15789c5322 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 13 Jul 2013 11:16:20 -0700 Subject: New technology mapper. --- src/map/mpm/mpmMap.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/map/mpm/mpmMap.c b/src/map/mpm/mpmMap.c index e613d9ba..9380ca49 100644 --- a/src/map/mpm/mpmMap.c +++ b/src/map/mpm/mpmMap.c @@ -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 ); -- cgit v1.2.3