diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-01-21 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-01-21 08:01:00 -0800 |
| commit | 2167d6c148191f7aa65381bb0618b64050bf4de3 (patch) | |
| tree | 345f5cc859142b50f01d261073688e880e61b631 /src/base/io/ioUtil.c | |
| parent | 76bcf6b25411e1b0d73e5dff6c8fd3e2f4bab9e1 (diff) | |
| download | abc-2167d6c148191f7aa65381bb0618b64050bf4de3.tar.gz abc-2167d6c148191f7aa65381bb0618b64050bf4de3.tar.bz2 abc-2167d6c148191f7aa65381bb0618b64050bf4de3.zip | |
Version abc70121
Diffstat (limited to 'src/base/io/ioUtil.c')
| -rw-r--r-- | src/base/io/ioUtil.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/io/ioUtil.c b/src/base/io/ioUtil.c index ba390a2f..ed197ab4 100644 --- a/src/base/io/ioUtil.c +++ b/src/base/io/ioUtil.c @@ -220,7 +220,7 @@ void Io_Write( Abc_Ntk_t * pNtk, char * pFileName, Io_FileType_t FileType ) // write non-netlist types if ( FileType == IO_FILE_CNF ) { - Io_WriteCnf( pNtk, pFileName ); + Io_WriteCnf( pNtk, pFileName, 0 ); return; } if ( FileType == IO_FILE_DOT ) |