diff options
Diffstat (limited to 'src/map/mio')
| -rw-r--r-- | src/map/mio/mioRead.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/map/mio/mioRead.c b/src/map/mio/mioRead.c index eb5d47ea..3b93856c 100644 --- a/src/map/mio/mioRead.c +++ b/src/map/mio/mioRead.c @@ -65,7 +65,6 @@ Mio_Library_t * Mio_LibraryRead( void * pAbc, char * FileName, char * ExcludeFil tExcludeGate = 0; return 0; } - fprintf ( Abc_FrameReadOut( (Abc_Frame_t *)pAbc ), "Read %d gates from exclude file\n", num ); } @@ -76,6 +75,8 @@ Mio_Library_t * Mio_LibraryRead( void * pAbc, char * FileName, char * ExcludeFil if ( pLib != NULL ) printf ( "Warning: Read extended GENLIB format but ignoring extensions\n" ); } + if ( tExcludeGate ) + st_free_table( tExcludeGate ); return pLib; } |