diff options
Diffstat (limited to 'src/map/mpm/mpmMan.c')
| -rw-r--r-- | src/map/mpm/mpmMan.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/map/mpm/mpmMan.c b/src/map/mpm/mpmMan.c index 7e74e98e..3ed07c83 100644 --- a/src/map/mpm/mpmMan.c +++ b/src/map/mpm/mpmMan.c @@ -138,6 +138,8 @@ void Mpm_ManStop( Mpm_Man_t * p ) Vec_IntFree( p->pHash->vData ); Hsh_IntManStop( p->pHash ); } + Vec_IntFreeP( &p->vNpnCosts ); + Vec_IntFreeP( &p->vGateNpnConfig ); Vec_PtrFree( p->vTemp ); Mmr_StepStop( p->pManCuts ); ABC_FREE( p->vObjPresUsed.pArray ); |