From dca05dc855ac83f32d995e7ecd6b95b97f77e717 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Thu, 1 Oct 2009 06:43:18 +0000
Subject: [PATCH] change

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

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