From 007e58cbbfe1eb84771ea55ae4d634cf21c31bf8 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Mon, 9 Feb 2009 01:53:27 +0000
Subject: [PATCH] changes

---
 Robust/src/IR/Flat/BuildCode.java | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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()+"; }");
     }
   }
 
-- 
2.34.1