diff options
Diffstat (limited to 'src/base/io/io.c')
| -rw-r--r-- | src/base/io/io.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/base/io/io.c b/src/base/io/io.c index c0f6b5a9..7f077e29 100644 --- a/src/base/io/io.c +++ b/src/base/io/io.c @@ -1559,9 +1559,9 @@ int IoCommandWriteBlif( Abc_Frame_t * pAbc, int argc, char **argv ) // get the output file name pFileName = argv[globalUtilOptind]; // call the corresponding file writer -// if ( fSpecial ) -// Io_WriteBlifSpecial( pAbc->pNtkCur, pFileName ); -// else + if ( fSpecial ) + Io_WriteBlifSpecial( pAbc->pNtkCur, pFileName ); + else Io_Write( pAbc->pNtkCur, pFileName, IO_FILE_BLIF ); return 0; |