From: bdemsky <bdemsky>
Date: Thu, 1 Oct 2009 06:43:18 +0000 (+0000)
Subject: change
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=dca05dc855ac83f32d995e7ecd6b95b97f77e717;p=IRC.git

change
---

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