diff options
Diffstat (limited to 'src/map/mio/mioUtils.c')
| -rw-r--r-- | src/map/mio/mioUtils.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/mio/mioUtils.c b/src/map/mio/mioUtils.c index a11fed68..d481bf81 100644 --- a/src/map/mio/mioUtils.c +++ b/src/map/mio/mioUtils.c @@ -57,7 +57,7 @@ void Mio_LibraryDelete( Mio_Library_t * pLib ) Mem_FlexStop( pLib->pMmFlex, 0 ); Vec_StrFree( pLib->vCube ); if ( pLib->tName2Gate ) - st_free_table( pLib->tName2Gate ); + st__free_table( pLib->tName2Gate ); // if ( pLib->dd ) // Cudd_Quit( pLib->dd ); ABC_FREE( pLib->ppGates0 ); |