diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-11-13 14:56:40 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-11-13 14:56:40 -0800 |
commit | 71d9a1671447b0235b8ed2c8090835fdcf65a93a (patch) | |
tree | ece9db3a87341949c4a0d72739077c12c43bb366 /src/aig/gia/giaMan.c | |
parent | 6bbbbe20afa407ff991e03c4f4218a414b7a2eb8 (diff) | |
download | abc-71d9a1671447b0235b8ed2c8090835fdcf65a93a.tar.gz abc-71d9a1671447b0235b8ed2c8090835fdcf65a93a.tar.bz2 abc-71d9a1671447b0235b8ed2c8090835fdcf65a93a.zip |
Improvements to quantification.
Diffstat (limited to 'src/aig/gia/giaMan.c')
-rw-r--r-- | src/aig/gia/giaMan.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c index a8b03207..5278c5cc 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -118,6 +118,8 @@ void Gia_ManStop( Gia_Man_t * p ) Vec_IntFreeP( &p->vTruths ); Vec_IntErase( &p->vCopies ); Vec_IntErase( &p->vCopies2 ); + Vec_IntErase( &p->vCopiesTwo ); + Vec_WrdFreeP( &p->vSuppWords ); Vec_IntFreeP( &p->vTtNums ); Vec_IntFreeP( &p->vTtNodes ); Vec_WrdFreeP( &p->vTtMemory ); |