diff options
Diffstat (limited to 'src/base/io/ioWriteCnf.c')
| -rw-r--r-- | src/base/io/ioWriteCnf.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/io/ioWriteCnf.c b/src/base/io/ioWriteCnf.c index 144ff167..bb216bb6 100644 --- a/src/base/io/ioWriteCnf.c +++ b/src/base/io/ioWriteCnf.c @@ -44,9 +44,9 @@ static void Io_WriteCnfInt( FILE * pFile, Abc_Ntk_t * pNtk ); int Io_WriteCnf( Abc_Ntk_t * pNtk, char * pFileName ) { solver * pSat; - if ( !Abc_NtkIsLogicBdd(pNtk) ) + if ( !Abc_NtkIsBddLogic(pNtk) ) { - fprintf( stdout, "Io_WriteCnf(): Currently can process logic networks with BDDs.\n" ); + fprintf( stdout, "Io_WriteCnf(): Currently can only process logic networks with BDDs.\n" ); return 0; } if ( Abc_NtkPoNum(pNtk) != 1 ) |