diff options
Diffstat (limited to 'src/base/abci/abcRewrite.c')
| -rw-r--r-- | src/base/abci/abcRewrite.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcRewrite.c b/src/base/abci/abcRewrite.c index 3d06dddf..7760b2d1 100644 --- a/src/base/abci/abcRewrite.c +++ b/src/base/abci/abcRewrite.c @@ -83,7 +83,7 @@ int Abc_NtkRewrite( Abc_Ntk_t * pNtk, int fUpdateLevel, int fUseZeros, int fVerb return 0; // compute the reverse levels if level update is requested if ( fUpdateLevel ) - Abc_NtkStartReverseLevels( pNtk ); + Abc_NtkStartReverseLevels( pNtk, 0 ); // start the cut manager clk = clock(); pManCut = Abc_NtkStartCutManForRewrite( pNtk ); |