From e122abaf59391fbe95b81674b80b3154d3a69c8c Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 13 Apr 2011 00:53:06 +0000
Subject: [PATCH] change

---
 Robust/src/Analysis/Loops/GlobalFieldType.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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);
-- 
2.34.1