From 3664c963a5ad5bd1ed965ddac9708f05992710a0 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 9 Oct 2009 07:30:57 +0000
Subject: [PATCH] typo

---
 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 223d6730..9518574b 100644
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -2575,7 +2575,7 @@ public class BuildCode {
       break;
 
     case FKind.FlatBackEdge:
-      if (state.SINGLETM&&state.SANDBOX&&locality.getAtomic(locality.getAtomic(lb).get(fn).intValue()>0)) {
+      if (state.SINGLETM&&state.SANDBOX&&(locality.getAtomic(lb).get(fn).intValue()>0)) {
 	output.println("if ((--transaction_check_counter)<=0) checkObjects();");
       }
       if (((state.THREAD||state.DSM||state.SINGLETM)&&GENERATEPRECISEGC)
-- 
2.34.1