diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-15 22:59:54 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-15 22:59:54 -0700 |
commit | 9b6efa34ad0a8a2ce33bdc5ce7e4d260562ddb14 (patch) | |
tree | 0f1ff93a4f92d8fda4619478bbce0a14e33d55ab /src/base/io/ioUtil.c | |
parent | 45d82477b70b1457fb675b2498b5a88438281f27 (diff) | |
download | abc-9b6efa34ad0a8a2ce33bdc5ce7e4d260562ddb14.tar.gz abc-9b6efa34ad0a8a2ce33bdc5ce7e4d260562ddb14.tar.bz2 abc-9b6efa34ad0a8a2ce33bdc5ce7e4d260562ddb14.zip |
Bug fix in 'write_pla'.
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 86291710..ccba5027 100644 --- a/src/base/io/ioUtil.c +++ b/src/base/io/ioUtil.c @@ -378,7 +378,7 @@ void Io_Write( Abc_Ntk_t * pNtk, char * pFileName, Io_FileType_t FileType ) pNtkTemp = Abc_NtkToNetlist( pNtk ); Abc_NtkDelete( pNtkCopy ); } - if ( !Abc_NtkToSop( pNtk, 1 ) ) + if ( !Abc_NtkToSop( pNtkTemp, 1 ) ) return; } else if ( FileType == IO_FILE_BENCH ) |