From: bdemsky <bdemsky>
Date: Mon, 9 Feb 2009 01:53:27 +0000 (+0000)
Subject: changes
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=007e58cbbfe1eb84771ea55ae4d634cf21c31bf8;p=IRC.git

changes
---

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index 3f385157..1c00cff7 100644
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -1756,8 +1756,9 @@ public class BuildCode {
     output.println("trans=transStart();");
     
     if (state.ABORTREADERS) {
-      output.println("if (_setjmp(trans->aborttrans))");
-      output.println("  goto transretry"+faen.getIdentifier()+";");
+      output.println("if (_setjmp(trans->aborttrans)) {");
+      output.println("  free(trans)");
+      output.println("  goto transretry"+faen.getIdentifier()+"; }");
     }
   }