From 8cabdcb55d0a390ea45cfed631118af35796dac2 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 11 Feb 2015 12:33:54 -0800
Subject: Adding resource limit switch -C to 'sop'.

---
 src/base/abci/abcDebug.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/base/abci/abcDebug.c')

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;
 }
-- 
cgit v1.2.3