diff options
Diffstat (limited to 'src/aig/gia/giaMan.c')
| -rw-r--r-- | src/aig/gia/giaMan.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c index 2c10bedf..bb8851ec 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -93,6 +93,7 @@ void Gia_ManStop( Gia_Man_t * p ) Gia_ManStopP( &p->pUserAig ); Vec_PtrFreeFree( p->vUserNames ); Vec_WecFreeP( &p->vUserNodes ); + Vec_WecFreeP( &p->vUserSupps ); Vec_IntFreeP( &p->vUserArray ); Vec_IntFreeP( &p->vSwitching ); Vec_IntFreeP( &p->vSuper ); |