bug fixes

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index 1c00cff7faceebce936a5c12c58b6916b2ee5c99..056468637f60709db1f9e099bcf26f4748901bf6 100644 (file)
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -1757,7 +1757,7 @@ public class BuildCode {
     
     if (state.ABORTREADERS) {
       output.println("if (_setjmp(trans->aborttrans)) {");
-      output.println("  free(trans)");
+      output.println("  free(trans);");
       output.println("  goto transretry"+faen.getIdentifier()+"; }");
     }
   }

diff --git a/Robust/src/Runtime/DSTM/interface/trans.c b/Robust/src/Runtime/DSTM/interface/trans.c
index 5d31cc657465630838aa6d5ba98b870ac74bd43d..528dafabcba53a2f0258fa501e94112a9b05edd5 100644 (file)
--- a/Robust/src/Runtime/DSTM/interface/trans.c
+++ b/Robust/src/Runtime/DSTM/interface/trans.c
@@ -407,7 +407,7 @@ __attribute__((pure)) objheader_t *transRead(transrecord_t *record, unsigned int
     //abort this transaction
     printf("ABORTING\n");
     objstrDelete(record->cache);
-    chashDelete(record->longTable);
+    chashDelete(record->lookupTable);
     _longjmp(record->aborttrans,1);
   } else
     addtransaction(oid,record);
@@ -579,7 +579,7 @@ int transCommit(transrecord_t *record) {
     //abort this transaction
     printf("ABORTING TRANSACTION AT COMMIT\n");
     objstrDelete(record->cache);
-    chashDelete(record->longTable);
+    chashDelete(record->lookupTable);
     free(record);
     return 1;
   }