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/abcPrint.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/src/base/abci/abcPrint.c b/src/base/abci/abcPrint.c
index 361f1e99..af598ed8 100644
--- a/src/base/abci/abcPrint.c
+++ b/src/base/abci/abcPrint.c
@@ -1119,7 +1119,7 @@ void Abc_NtkPrintGates( Abc_Ntk_t * pNtk, int fUseLibrary )
     // transform logic functions from BDD to SOP
     if ( (fHasBdds = Abc_NtkIsBddLogic(pNtk)) )
     {
-        if ( !Abc_NtkBddToSop(pNtk, 0) )
+        if ( !Abc_NtkBddToSop(pNtk, 0, ABC_INFINITY) )
         {
             printf( "Abc_NtkPrintGates(): Converting to SOPs has failed.\n" );
             return;
-- 
cgit v1.2.3