From: bdemsky <bdemsky>
Date: Wed, 13 Apr 2011 00:53:06 +0000 (+0000)
Subject: change
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=e122abaf59391fbe95b81674b80b3154d3a69c8c;p=IRC.git

change
---

diff --git a/Robust/src/Analysis/Loops/GlobalFieldType.java b/Robust/src/Analysis/Loops/GlobalFieldType.java
index 997bac09..190d3220 100644
--- a/Robust/src/Analysis/Loops/GlobalFieldType.java
+++ b/Robust/src/Analysis/Loops/GlobalFieldType.java
@@ -224,7 +224,7 @@ public class GlobalFieldType {
 	  containsBarrier.add(mdcall);
 	}
 	//treat lock acquire the same as a barrier
-	if ((mdcall.getSymbol().equals("MonitorEnter")||mdcall.getSymbol().equals("MonitorExit"))&&
+	if ((mdcall.getSymbol().equals("MonitorEnter")||mdcall.getSymbol().equals("MonitorExit")||mdcall.getSymbol().equals("wait"))&&
 	    mdcall.getClassDesc().getSymbol().equals("Object")) {
 	  containsBarrier.add(md);
 	  containsBarrier.add(mdcall);