diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-03-30 21:51:50 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-03-30 21:51:50 -0700 |
| commit | 7724dfcca212ae1fd43cb095d5d85fea85c07608 (patch) | |
| tree | 11a506b57cdcdf9391a398fcd40a70ae90c20fd0 /src/aig/gia/giaMan.c | |
| parent | 31430043c219a29bc261a28a909ecb284b67de60 (diff) | |
| download | abc-7724dfcca212ae1fd43cb095d5d85fea85c07608.tar.gz abc-7724dfcca212ae1fd43cb095d5d85fea85c07608.tar.bz2 abc-7724dfcca212ae1fd43cb095d5d85fea85c07608.zip | |
Windowing for technology mapping.
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 cba58b3c..ea25c4ab 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -113,6 +113,7 @@ void Gia_ManStop( Gia_Man_t * p ) Vec_WrdFreeP( &p->vTtMemory ); Vec_PtrFreeP( &p->vTtInputs ); Vec_IntFreeP( &p->vMapping ); + Vec_WecFreeP( &p->vMapping2 ); Vec_IntFreeP( &p->vCellMapping ); Vec_IntFreeP( &p->vPacking ); Vec_IntFreeP( &p->vConfigs ); |