bug fix

diff --git a/Robust/src/Analysis/Loops/GlobalFieldType.java b/Robust/src/Analysis/Loops/GlobalFieldType.java
index 25b17b1455f60d6b61b302e232e5066da9093498..c81fdab50808a90d92c083caeade820f3b524431 100644 (file)
--- a/Robust/src/Analysis/Loops/GlobalFieldType.java
+++ b/Robust/src/Analysis/Loops/GlobalFieldType.java
@@ -131,9 +131,11 @@ public class GlobalFieldType {
       } else if (fn.kind()==FKind.FlatCall) {
        MethodDescriptor mdcall=((FlatCall)fn).getMethod();
        if (mdcall.getSymbol().equals("enterBarrier")&&
-           mdcall.getClassDesc().getSymbol().equals("Barrier"))
+           mdcall.getClassDesc().getSymbol().equals("Barrier")) {
          containsBarrier.add(md);
+         containsBarrier.add(mdcall);
+       }
       }
     }
   }
-}
\ No newline at end of file
+}