summaryrefslogtreecommitdiffstats
path: root/src/base/io
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2013-04-15 22:59:54 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2013-04-15 22:59:54 -0700
commit9b6efa34ad0a8a2ce33bdc5ce7e4d260562ddb14 (patch)
tree0f1ff93a4f92d8fda4619478bbce0a14e33d55ab /src/base/io
parent45d82477b70b1457fb675b2498b5a88438281f27 (diff)
downloadabc-9b6efa34ad0a8a2ce33bdc5ce7e4d260562ddb14.tar.gz
abc-9b6efa34ad0a8a2ce33bdc5ce7e4d260562ddb14.tar.bz2
abc-9b6efa34ad0a8a2ce33bdc5ce7e4d260562ddb14.zip
Bug fix in 'write_pla'.
Diffstat (limited to 'src/base/io')
-rw-r--r--src/base/io/ioUtil.c2
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 )