From c1bb9a47e4b1cdfbaa3c6569327b370c85ea0825 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 6 Feb 2009 21:58:58 +0000
Subject: [PATCH] don't save signal context

---
 Robust/src/IR/Flat/BuildCode.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index 3b166e00..3f385157 100644
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -1756,7 +1756,7 @@ public class BuildCode {
     output.println("trans=transStart();");
     
     if (state.ABORTREADERS) {
-      output.println("if (setjmp(trans->aborttrans))");
+      output.println("if (_setjmp(trans->aborttrans))");
       output.println("  goto transretry"+faen.getIdentifier()+";");
     }
   }
-- 
2.34.1