diff options
Diffstat (limited to 'src/base/io/io.c')
| -rw-r--r-- | src/base/io/io.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/io/io.c b/src/base/io/io.c index 89703214..7a6ca49f 100644 --- a/src/base/io/io.c +++ b/src/base/io/io.c @@ -876,9 +876,9 @@ int IoCommandWriteDot( Abc_Frame_t * pAbc, int argc, char **argv ) return 0; } - if ( !Abc_NtkIsStrash(pAbc->pNtkCur) ) + if ( !Abc_NtkHasAig(pAbc->pNtkCur) ) { - fprintf( stdout, "IoCommandWriteDot(): Currently can only process logic networks with BDDs.\n" ); + fprintf( stdout, "IoCommandWriteDot(): Currently can only process AIGs.\n" ); return 0; } |