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

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

diff --git a/src/base/io/ioReadBench.c b/src/base/io/ioReadBench.c
index 0f60bb7f..3446aafc 100644
--- a/src/base/io/ioReadBench.c
+++ b/src/base/io/ioReadBench.c
@@ -286,7 +286,7 @@ Abc_Ntk_t * Io_ReadBenchNetwork( Extra_FileReader_t * p )
             Abc_NtkDelete( pNtk );
             return NULL;
         }
-        if ( !Abc_NtkToSop(pNtk, 0) )
+        if ( !Abc_NtkToSop(pNtk, 0, ABC_INFINITY) )
         {
             printf( "Io_ReadBenchNetwork(): Converting to SOP has failed.\n" );
             Abc_NtkDelete( pNtk );
-- 
cgit v1.2.3