diff options
Diffstat (limited to 'src/map/mapper/mapperLib.c')
| -rw-r--r-- | src/map/mapper/mapperLib.c | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/map/mapper/mapperLib.c b/src/map/mapper/mapperLib.c index 5530f8cb..f9b280fe 100644 --- a/src/map/mapper/mapperLib.c +++ b/src/map/mapper/mapperLib.c @@ -140,10 +140,13 @@ void Map_SuperLibFree( Map_SuperLib_t * p ) { // if ( s_pLib == p->pGenlib ) // s_pLib = NULL; - if ( Abc_FrameReadLibGen(Abc_FrameGetGlobalFrame()) == p->pGenlib ) - Abc_FrameSetLibGen(Abc_FrameGetGlobalFrame(), NULL); +// if ( Abc_FrameReadLibGen(Abc_FrameGetGlobalFrame()) == p->pGenlib ) +// Abc_FrameSetLibGen(Abc_FrameGetGlobalFrame(), NULL); // Mio_LibraryDelete( p->pGenlib ); + + assert( p->pGenlib == Abc_FrameReadLibGen(Abc_FrameGetGlobalFrame()) ); Mio_LibraryDelete( p->pGenlib ); + Abc_FrameSetLibGen(Abc_FrameGetGlobalFrame(), NULL); } if ( p->tTableC ) Map_SuperTableFree( p->tTableC ); |