diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-11-06 22:08:54 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-11-06 22:08:54 -0800 |
commit | 5fd6dc0fca7f15d87f1fbd6401c3caa2c993834a (patch) | |
tree | 73b0e3d71a2de7e7a598ca20b9f8740083513241 /src/aig/gia/giaMan.c | |
parent | 716969190a4d6d944cfa24a085c9e7069d868dab (diff) | |
download | abc-5fd6dc0fca7f15d87f1fbd6401c3caa2c993834a.tar.gz abc-5fd6dc0fca7f15d87f1fbd6401c3caa2c993834a.tar.bz2 abc-5fd6dc0fca7f15d87f1fbd6401c3caa2c993834a.zip |
Profiling quantification and other changes.
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 6ff822c3..a8b03207 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -117,6 +117,7 @@ void Gia_ManStop( Gia_Man_t * p ) Vec_IntFreeP( &p->vLevels ); Vec_IntFreeP( &p->vTruths ); Vec_IntErase( &p->vCopies ); + Vec_IntErase( &p->vCopies2 ); Vec_IntFreeP( &p->vTtNums ); Vec_IntFreeP( &p->vTtNodes ); Vec_WrdFreeP( &p->vTtMemory ); |