diff options
Diffstat (limited to 'src/base/abc/abcRewrite.c')
| -rw-r--r-- | src/base/abc/abcRewrite.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/base/abc/abcRewrite.c b/src/base/abc/abcRewrite.c index 437448de..2c4c8c55 100644 --- a/src/base/abc/abcRewrite.c +++ b/src/base/abc/abcRewrite.c @@ -50,7 +50,9 @@ int Abc_NtkRewrite( Abc_Ntk_t * pNtk ) assert( Abc_NtkIsAig(pNtk) ); // start the rewriting manager - p = Rwr_ManStart( "data.aaa" ); + p = Rwr_ManStart( 0 ); + if ( p == NULL ) + return 0; Rwr_ManPrepareNetwork( p, pNtk ); // resynthesize each node once |