diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-01-23 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-01-23 08:01:00 -0800 |
| commit | 6c68b76bff33daa7cd94b78c51bdd4cdaf65059c (patch) | |
| tree | feb304b4b8bf8e9a7ae7039b4ff745e997208b41 /src/aig/ntl/ntlMan.c | |
| parent | d4fecf91efcd090caa9a5cbfb05059361e84c4ec (diff) | |
| download | abc-6c68b76bff33daa7cd94b78c51bdd4cdaf65059c.tar.gz abc-6c68b76bff33daa7cd94b78c51bdd4cdaf65059c.tar.bz2 abc-6c68b76bff33daa7cd94b78c51bdd4cdaf65059c.zip | |
Version abc80123
Diffstat (limited to 'src/aig/ntl/ntlMan.c')
| -rw-r--r-- | src/aig/ntl/ntlMan.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/ntl/ntlMan.c b/src/aig/ntl/ntlMan.c index ce008c9c..9b4aff5f 100644 --- a/src/aig/ntl/ntlMan.c +++ b/src/aig/ntl/ntlMan.c @@ -49,6 +49,7 @@ Ntl_Man_t * Ntl_ManAlloc( char * pFileName ) p->vCis = Vec_PtrAlloc( 1000 ); p->vCos = Vec_PtrAlloc( 1000 ); p->vNodes = Vec_PtrAlloc( 1000 ); + p->vBox1Cos = Vec_IntAlloc( 1000 ); // start the manager p->pMemObjs = Aig_MmFlexStart(); p->pMemSops = Aig_MmFlexStart(); @@ -82,6 +83,7 @@ void Ntl_ManFree( Ntl_Man_t * p ) if ( p->vCis ) Vec_PtrFree( p->vCis ); if ( p->vCos ) Vec_PtrFree( p->vCos ); if ( p->vNodes ) Vec_PtrFree( p->vNodes ); + if ( p->vBox1Cos ) Vec_IntFree( p->vBox1Cos ); if ( p->pMemObjs ) Aig_MmFlexStop( p->pMemObjs, 0 ); if ( p->pMemSops ) Aig_MmFlexStop( p->pMemSops, 0 ); if ( p->pAig ) Aig_ManStop( p->pAig ); |