From e9bf8754b026a450da537321af91d0c3b1bb758e Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 6 Feb 2009 10:10:39 +0000
Subject: [PATCH] more abort fixes

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

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index 92e17331..3b166e00 100644
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -124,9 +124,10 @@ public class BuildCode {
     outmethodheader.println("#include \"structdefs.h\"");
     if (state.DSM)
       outmethodheader.println("#include \"dstm.h\"");
-    if (state.ABORTREADERS)
+    if (state.ABORTREADERS) {
       outmethodheader.println("#include \"abortreaders.h\"");
-
+      outmethodheader.println("#include <setjmp.h>");
+    }
     /* Output Structures */
     outputStructs(outstructs);
 
@@ -1756,7 +1757,7 @@ public class BuildCode {
     
     if (state.ABORTREADERS) {
       output.println("if (setjmp(trans->aborttrans))");
-      output.println("  goto transretry"+faen.getIdentifier()+":");
+      output.println("  goto transretry"+faen.getIdentifier()+";");
     }
   }
 
-- 
2.34.1