don't save signal context

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