diff options
Diffstat (limited to 'src/base/io/ioWritePla.c')
-rw-r--r-- | src/base/io/ioWritePla.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/io/ioWritePla.c b/src/base/io/ioWritePla.c index 9c78b149..25a68978 100644 --- a/src/base/io/ioWritePla.c +++ b/src/base/io/ioWritePla.c @@ -46,7 +46,7 @@ int Io_WritePla( Abc_Ntk_t * pNtk, char * pFileName ) Abc_Ntk_t * pExdc; FILE * pFile; - assert( Abc_NtkIsNetlistSop(pNtk) ); + assert( Abc_NtkIsSopNetlist(pNtk) ); assert( Abc_NtkGetLevelNum(pNtk) == 1 ); pFile = fopen( pFileName, "w" ); |