From 26dcd237b3400dda1333228e4e92c007defdbf72 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 3 Jun 2009 20:19:36 +0000
Subject: [PATCH] bug fix

---
 Robust/src/Analysis/Loops/GlobalFieldType.java | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/Robust/src/Analysis/Loops/GlobalFieldType.java b/Robust/src/Analysis/Loops/GlobalFieldType.java
index 25b17b14..c81fdab5 100644
--- 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
+}
-- 
2.34.1