Various bug fixes.

diff --git a/Repair/RepairCompiler/MCC/Runtime/SimpleHash.cc b/Repair/RepairCompiler/MCC/Runtime/SimpleHash.cc
index 63b23c3736b8d2b991725c88f355030a1e65bbfc..25cf6dd84f7cf97ccd64785cec47d1a3167ecbf8 100755 (executable)
--- a/Repair/RepairCompiler/MCC/Runtime/SimpleHash.cc
+++ b/Repair/RepairCompiler/MCC/Runtime/SimpleHash.cc
@@ -366,8 +366,14 @@ RepairHash::RepairHash(int size) {
     this->numelements = 0;
 }
 
+#define REPAIRSIZE 100
 RepairHash::RepairHash() {
-  RepairHash(100);
+    this->size = REPAIRSIZE;
+    this->bucket = new RepairHashNode* [REPAIRSIZE];
+    for (int i=0;i<REPAIRSIZE;i++)
+      bucket[i]=0;
+    this->nodelist=0;
+    this->numelements = 0;
 }
 
 RepairHash::~RepairHash() {