diff options
Diffstat (limited to 'src/base/abci/abcDebug.c')
| -rw-r--r-- | src/base/abci/abcDebug.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcDebug.c b/src/base/abci/abcDebug.c index db795c60..b3618cfc 100644 --- a/src/base/abci/abcDebug.c +++ b/src/base/abci/abcDebug.c @@ -199,7 +199,7 @@ Abc_Ntk_t * Abc_NtkAutoDebugModify( Abc_Ntk_t * pNtkInit, int Step, int fConst1 Abc_NtkSweep( pNtk, 0 ); Abc_NtkCleanupSeq( pNtk, 0, 0, 0 ); - Abc_NtkToSop( pNtk, 0 ); + Abc_NtkToSop( pNtk, 0, ABC_INFINITY ); Abc_NtkCycleInitStateSop( pNtk, 50, 0 ); return pNtk; } |