diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-07-12 12:22:48 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-07-12 12:22:48 -0700 |
| commit | ff89090dad94b4b245c6f694bd6d599b7dcb30d2 (patch) | |
| tree | d5ee8c61e53138fd600f8f588793f6df91b63499 /src/aig/gia/giaMan.c | |
| parent | ccdc974f8a1ea5539ee1c96bc167b5fd01ddc341 (diff) | |
| download | abc-ff89090dad94b4b245c6f694bd6d599b7dcb30d2.tar.gz abc-ff89090dad94b4b245c6f694bd6d599b7dcb30d2.tar.bz2 abc-ff89090dad94b4b245c6f694bd6d599b7dcb30d2.zip | |
Supporting CO attributes in GIA.
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 65ff46b5..6ca74491 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -131,6 +131,7 @@ void Gia_ManStop( Gia_Man_t * p ) Vec_IntFreeP( &p->vCiArrs ); Vec_IntFreeP( &p->vCoReqs ); Vec_IntFreeP( &p->vCoArrs ); + Vec_IntFreeP( &p->vCoAttrs ); Gia_ManStopP( &p->pAigExtra ); Vec_IntFree( p->vCis ); Vec_IntFree( p->vCos ); |