diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-21 12:22:58 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-21 12:22:58 -0800 |
commit | f33c3007b2641f6f17c3511cb6f56d68d0b05453 (patch) | |
tree | 608b591a890beabfce474398ecf81be44086546b /src/aig/gia/giaStg.c | |
parent | dd52905fa394bb276cee1442c680f8c02937b7fb (diff) | |
download | abc-f33c3007b2641f6f17c3511cb6f56d68d0b05453.tar.gz abc-f33c3007b2641f6f17c3511cb6f56d68d0b05453.tar.bz2 abc-f33c3007b2641f6f17c3511cb6f56d68d0b05453.zip |
Compiler warnings.
Diffstat (limited to 'src/aig/gia/giaStg.c')
-rw-r--r-- | src/aig/gia/giaStg.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaStg.c b/src/aig/gia/giaStg.c index 0cb9f4ea..40c40139 100644 --- a/src/aig/gia/giaStg.c +++ b/src/aig/gia/giaStg.c @@ -204,7 +204,7 @@ Vec_Int_t * Gia_ManStgReadLines( char * pFileName, int * pnIns, int * pnOuts, in FILE * pFile; if ( !strcmp(pFileName + strlen(pFileName) - 3, "aig") ) { - printf( "Input file \"%s\" has extension \"aig\".\n", pFileName, "aig" ); + printf( "Input file \"%s\" has extension \"%s\".\n", pFileName, "aig" ); return NULL; } pFile = fopen( pFileName, "rb" ); |