From 0e57e953062cd2d97573d8428f6f77853ba8535e Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 3 Mar 2006 08:01:00 -0800
Subject: Version abc60303

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

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

diff --git a/src/base/abci/abcDsd.c b/src/base/abci/abcDsd.c
index 9dd5ea3a..18a85a04 100644
--- a/src/base/abci/abcDsd.c
+++ b/src/base/abci/abcDsd.c
@@ -60,7 +60,7 @@ Abc_Ntk_t * Abc_NtkDsdGlobal( Abc_Ntk_t * pNtk, bool fVerbose, bool fPrint, bool
     assert( Abc_NtkIsStrash(pNtk) );
 
     // perform FPGA mapping
-    if ( Abc_NtkGlobalBdds(pNtk, 0) == NULL )
+    if ( Abc_NtkGlobalBdds(pNtk, 10000000, 0) == NULL )
         return NULL;
     if ( fVerbose )
         printf( "The shared BDD size is %d nodes.\n", Cudd_ReadKeys(pNtk->pManGlob) - Cudd_ReadDead(pNtk->pManGlob) );
-- 
cgit v1.2.3