From 1bdb3773f9971a49e7bdcee8f82353cf32f4b61e Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 21 Jul 2013 16:36:15 -0700 Subject: New technology mapper. --- src/map/mpm/mpmMan.c | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'src/map/mpm/mpmMan.c') diff --git a/src/map/mpm/mpmMan.c b/src/map/mpm/mpmMan.c index dd6342cd..ae3bfc32 100644 --- a/src/map/mpm/mpmMan.c +++ b/src/map/mpm/mpmMan.c @@ -135,8 +135,7 @@ void Mpm_ManStop( Mpm_Man_t * p ) Vec_IntFree( p->pHash->vData ); Hsh_IntManStop( p->pHash ); } - Vec_IntFreeP( &p->vNpnCosts ); - Vec_IntFreeP( &p->vNpnConfigs ); + Vec_WecFreeP( &p->vNpnConfigs ); Vec_PtrFree( p->vTemp ); Mmr_StepStop( p->pManCuts ); ABC_FREE( p->vFreeUnits.pArray ); -- cgit v1.2.3