more abort fixes

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