diff options
Diffstat (limited to 'src/map/mio/mioRead.c')
| -rw-r--r-- | src/map/mio/mioRead.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/mio/mioRead.c b/src/map/mio/mioRead.c index e79baeee..3632e3a7 100644 --- a/src/map/mio/mioRead.c +++ b/src/map/mio/mioRead.c @@ -236,7 +236,7 @@ int Mio_LibraryReadInternal( Mio_Library_t * pLib, char * pBuffer, int fExtended } } if ( fVerbose ) - printf( "The number of gates read = %d.\n", nGates ); + printf( "Entered GENLIB library with %d gates from file \"%s\".\n", nGates, pLib->pName ); if ( nGates == 0 ) { |