From e74f05d71ece1f137b159518c96bda004648a1d9 Mon Sep 17 00:00:00 2001
From: Bruno Schmitt <bruno@oschmitt.com>
Date: Fri, 26 May 2017 16:56:56 +0200
Subject: Small fix for bins growth in sub-cube hashtable.

---
 src/opt/fxch/FxchSCHashTable.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/opt')

diff --git a/src/opt/fxch/FxchSCHashTable.c b/src/opt/fxch/FxchSCHashTable.c
index f854a1fa..80753677 100644
--- a/src/opt/fxch/FxchSCHashTable.c
+++ b/src/opt/fxch/FxchSCHashTable.c
@@ -195,7 +195,8 @@ int Fxch_SCHashTableInsert( Fxch_SCHashTable_t* pSCHashTable,
     }
     else if ( pBin->Size == pBin->Cap )
     {
-        pBin->Cap = 2 * pBin->Size;
+        assert(pBin->Cap <= 0xAAAA);
+        pBin->Cap = ( pBin->Cap >> 1 ) * 3;
         pBin->vSCData = ABC_REALLOC( Fxch_SubCube_t, pBin->vSCData, pBin->Cap );
     }
 
-- 
cgit v1.2.3