diff options
Diffstat (limited to 'src/map/if/ifMan.c')
-rw-r--r-- | src/map/if/ifMan.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/map/if/ifMan.c b/src/map/if/ifMan.c index ba8f4e0c..8ea579c4 100644 --- a/src/map/if/ifMan.c +++ b/src/map/if/ifMan.c @@ -160,6 +160,12 @@ void If_ManStop( If_Man_t * p ) Tim_ManStop( p->pManTim ); if ( p->vSwitching ) Vec_IntFree( p->vSwitching ); + // hash table +// if ( p->nTableEntries ) +// printf( "Entries = %d. Size = %d.\n", p->nTableEntries, p->nTableSize ); + ABC_FREE( p->pHashTable ); + if ( p->pMemEntries ) + Mem_FixedStop( p->pMemEntries, 0 ); ABC_FREE( p ); } |