diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-23 16:26:13 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-23 16:26:13 -0700 |
commit | 47afd0f4f4f258ddc9231b791e6149430240ba52 (patch) | |
tree | e421d9e2913bdccd368e588122f5c9664a672338 /src/aig/gia/giaMan.c | |
parent | 8ad1729aa9f3f9da65c36f89a57a8272ece196d9 (diff) | |
download | abc-47afd0f4f4f258ddc9231b791e6149430240ba52.tar.gz abc-47afd0f4f4f258ddc9231b791e6149430240ba52.tar.bz2 abc-47afd0f4f4f258ddc9231b791e6149430240ba52.zip |
Multi-output property solver.
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 2eaf8eee..eb728cd0 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -72,6 +72,8 @@ Gia_Man_t * Gia_ManStart( int nObjsMax ) ***********************************************************************/ void Gia_ManStop( Gia_Man_t * p ) { + if ( p->vSeqModelVec ) + Vec_PtrFreeFree( p->vSeqModelVec ); Gia_ManStaticFanoutStop( p ); Tim_ManStopP( (Tim_Man_t **)&p->pManTime ); assert( p->pManTime == NULL ); |