diff options
Diffstat (limited to 'src/base/abc/abcNtk.c')
| -rw-r--r-- | src/base/abc/abcNtk.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/abc/abcNtk.c b/src/base/abc/abcNtk.c index dc4dd9e2..e543bf19 100644 --- a/src/base/abc/abcNtk.c +++ b/src/base/abc/abcNtk.c @@ -504,6 +504,7 @@ void Abc_NtkDelete( Abc_Ntk_t * pNtk ) Vec_PtrFree( pNtk->vPtrTemp ); Vec_IntFree( pNtk->vIntTemp ); Vec_StrFree( pNtk->vStrTemp ); + if ( pNtk->vInits ) Vec_IntFree( pNtk->vInits ); // free the hash table of Obj name into Obj ID stmm_free_table( pNtk->tName2Net ); stmm_free_table( pNtk->tObj2Name ); |