From: bdemsky <bdemsky>
Date: Fri, 6 Feb 2009 10:10:39 +0000 (+0000)
Subject: more abort fixes
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=e9bf8754b026a450da537321af91d0c3b1bb758e;p=IRC.git

more abort fixes
---

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