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

(limited to 'src/base/io/ioWriteBlif.c')

diff --git a/src/base/io/ioWriteBlif.c b/src/base/io/ioWriteBlif.c
index 88544d9f..9dde2e58 100644
--- a/src/base/io/ioWriteBlif.c
+++ b/src/base/io/ioWriteBlif.c
@@ -1388,7 +1388,7 @@ void Io_WriteBlifSpecial( Abc_Ntk_t * pNtk, char * FileName, char * pLutStruct,
 {
     Abc_Ntk_t * pNtkTemp;
     assert( Abc_NtkIsLogic(pNtk) );
-    Abc_NtkToSop( pNtk, 0 );
+    Abc_NtkToSop( pNtk, 0, ABC_INFINITY );
     // derive the netlist
     pNtkTemp = Abc_NtkToNetlist(pNtk);
     if ( pNtkTemp == NULL )
-- 
cgit v1.2.3