diff options
Diffstat (limited to 'src/map/mpm/mpmMan.c')
| -rw-r--r-- | src/map/mpm/mpmMan.c | 3 |
1 files changed, 1 insertions, 2 deletions
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 ); |