diff options
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 ) |