Make sure we create a reasonable large array...and avoid =0 case

diff --git a/Repair/RepairCompiler/MCC/Runtime/SimpleHash.cc b/Repair/RepairCompiler/MCC/Runtime/SimpleHash.cc
index fef3507015bbd60a83c6190f8cafafd5d7bbdfca..67dc413ed4c5f1b3b01074df760ac93a343f5bae 100755 (executable)
--- a/Repair/RepairCompiler/MCC/Runtime/SimpleHash.cc
+++ b/Repair/RepairCompiler/MCC/Runtime/SimpleHash.cc
@@ -334,7 +334,7 @@ int SimpleHash::count(int key) {
 }
 
 SimpleHash * SimpleHash::imageSet(int key) {
-  SimpleHash * newset=new SimpleHash(count(key));
+  SimpleHash * newset=new SimpleHash(2*count(key)+4);
   unsigned int hashkey = (unsigned int)key % size;
   
   struct SimpleNode *ptr = bucket[hashkey];