From 6c01e8b9f040d591f72882aff08ed21446fbb567 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 27 Mar 2011 14:17:12 -0700 Subject: Fixed a number of small bugs and memory leaks. --- src/map/mio/mioRead.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/map/mio') 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; } -- cgit v1.2.3