diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-04 12:22:59 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-04 12:22:59 -0700 |
| commit | 6b2744ff771eb71b5246aa9930ea5ff8862e106d (patch) | |
| tree | 7d25a33233e84fd00834809392143580eed5f86e /src/map/mio | |
| parent | b26d698ff8dc7f95fdfed7a4560422893e274bf8 (diff) | |
| download | abc-6b2744ff771eb71b5246aa9930ea5ff8862e106d.tar.gz abc-6b2744ff771eb71b5246aa9930ea5ff8862e106d.tar.bz2 abc-6b2744ff771eb71b5246aa9930ea5ff8862e106d.zip | |
Improving print-outs in 'stime' and 'gsize'.
Diffstat (limited to 'src/map/mio')
| -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 ) { |