changes

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index 3f385157a74e4920600c31c9d762c3101d0f8a6a..1c00cff7faceebce936a5c12c58b6916b2ee5c99 100644 (file)
--- 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()+"; }");
     }
   }