typo

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index 223d673075372b6c331f3c8870f539392e7b1e1f..9518574b8fea17657d5fb79a92d58bf53f27005a 100644 (file)
--- 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)