change

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index 3341552baf877490a3f97b13fce37e20593e3296..8afb168e31dd753348b3340d152e662e49a0c915 100644 (file)
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -2871,6 +2871,8 @@ public class BuildCode {
     output.println("transStart();");
 
     if (state.ABORTREADERS||state.SANDBOX) {
+      if (state.SANDBOX)
+       output.println("abortenabled=1;");
       output.println("if (_setjmp(aborttrans)) {");
       output.println("  goto transretry"+faen.getIdentifier()+"; }");
     }