From 950777ed50f9b59b51627da2af4efbb816bef562 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 25 Jul 2012 20:42:55 -0700
Subject: Fixing interpolation to run without resource limits by default.

---
 src/base/abci/abcRec2.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/base')

diff --git a/src/base/abci/abcRec2.c b/src/base/abci/abcRec2.c
index 7c4775ef..460436ef 100644
--- a/src/base/abci/abcRec2.c
+++ b/src/base/abci/abcRec2.c
@@ -1098,8 +1098,8 @@ void Abc_NtkRecStart2( Gia_Man_t * pGia, int nVars, int nCuts, int fTrim )
     p->vTtMem = Vec_MemAlloc( p->nWords/2, 12 ); // 32 KB/page for 6-var functions
 
     // create hash table
-    //p->nBins = 50011;
-    p->nBins =500011;
+    p->nBins = 20011;
+    //p->nBins =500011;
     p->pBins = ABC_ALLOC( int, p->nBins );
     memset( p->pBins, -1, sizeof(int) * p->nBins );
 
-- 
cgit v1.2.3