diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-29 12:34:59 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-29 12:34:59 -0700 |
| commit | 5838789ee7d7e1b9bbfdf091e33f6749a9b1286f (patch) | |
| tree | c83f51ecbbc981b1f658ad8aeeaa2c58f36c0ed0 /src/aig/gia/giaMan.c | |
| parent | 8a2d237f788d7650694efa5dead2cb09a75010ee (diff) | |
| download | abc-5838789ee7d7e1b9bbfdf091e33f6749a9b1286f.tar.gz abc-5838789ee7d7e1b9bbfdf091e33f6749a9b1286f.tar.bz2 abc-5838789ee7d7e1b9bbfdf091e33f6749a9b1286f.zip | |
Scalable gate-level abstraction.
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 a0208376..5b5fe13a 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -90,6 +90,7 @@ void Gia_ManStop( Gia_Man_t * p ) Vec_IntFreeP( &p->vTtNodes ); Vec_WrdFreeP( &p->vTtMemory ); Vec_PtrFreeP( &p->vTtInputs ); + Vec_IntFreeP( &p->vMapping ); Vec_IntFree( p->vCis ); Vec_IntFree( p->vCos ); ABC_FREE( p->pTravIds ); |