diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-10-22 00:00:01 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-10-22 00:00:01 -0700 |
commit | d4f073bad759874161e2de5952ef7d466bc3eb07 (patch) | |
tree | e6e2606155dafe4ddd3df74656ffee8e5be8b7e6 /src/aig/gia/giaMan.c | |
parent | abc54a2d207f45e2b556eea0bcb26ca8798a33c3 (diff) | |
download | abc-d4f073bad759874161e2de5952ef7d466bc3eb07.tar.gz abc-d4f073bad759874161e2de5952ef7d466bc3eb07.tar.bz2 abc-d4f073bad759874161e2de5952ef7d466bc3eb07.zip |
Various 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 464835e4..a40673a7 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -95,6 +95,7 @@ void Gia_ManStop( Gia_Man_t * p ) Vec_IntFreeP( &p->vClassNew ); Vec_IntFreeP( &p->vClassOld ); Vec_IntFreeP( &p->vPats ); + Vec_BitFreeP( &p->vPolars ); Vec_WrdFreeP( &p->vSims ); Vec_WrdFreeP( &p->vSimsT ); Vec_WrdFreeP( &p->vSimsPi ); |