diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-01-22 22:44:07 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-01-22 22:44:07 -0800 |
commit | f86cfc937e61c04af6cba680af52e176a20f8842 (patch) | |
tree | f4218d71300725c1ec215c7ceb9a301acf2d5139 /src/base/wln/wlnWriteVer.c | |
parent | 72e3b4ca7873f1d14097bc03adb486e71672dd84 (diff) | |
download | abc-f86cfc937e61c04af6cba680af52e176a20f8842.tar.gz abc-f86cfc937e61c04af6cba680af52e176a20f8842.tar.bz2 abc-f86cfc937e61c04af6cba680af52e176a20f8842.zip |
Experiments with memory abstraction.
Diffstat (limited to 'src/base/wln/wlnWriteVer.c')
-rw-r--r-- | src/base/wln/wlnWriteVer.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/wln/wlnWriteVer.c b/src/base/wln/wlnWriteVer.c index 1c37e311..e0849bf4 100644 --- a/src/base/wln/wlnWriteVer.c +++ b/src/base/wln/wlnWriteVer.c @@ -475,7 +475,7 @@ void Wln_WriteVer( Wln_Ntk_t * p, char * pFileName ) fprintf( stdout, "Wln_WriteVer(): Cannot open the output file \"%s\".\n", pFileName ); return; } - fprintf( pFile, "// Benchmark \"%s\" written by ABC on %s\n", p->pName, Extra_TimeStamp() ); + fprintf( pFile, "// Benchmark \"%s\" from file \"%s\" written by ABC on %s\n", p->pName, p->pSpec ? p->pSpec : "unknown", Extra_TimeStamp() ); fprintf( pFile, "\n" ); Wln_WriteTables( pFile, p ); // if ( fAddCos ) |