diff options
Diffstat (limited to 'src/base/abc/abcRewrite.c')
| -rw-r--r-- | src/base/abc/abcRewrite.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/abc/abcRewrite.c b/src/base/abc/abcRewrite.c index 62e506bb..f28aaa42 100644 --- a/src/base/abc/abcRewrite.c +++ b/src/base/abc/abcRewrite.c @@ -56,6 +56,8 @@ int Abc_NtkRewrite( Abc_Ntk_t * pNtk, int fUseZeros, int fVerbose ) int clk, clkStart = clock(); assert( Abc_NtkIsStrash(pNtk) ); + // cleanup the AIG + Abc_AigCleanup(pNtk->pManFunc); // start the rewriting manager pManRwr = Rwr_ManStart( 0 ); if ( pManRwr == NULL ) |