change

diff --git a/Robust/src/Analysis/Loops/GlobalFieldType.java b/Robust/src/Analysis/Loops/GlobalFieldType.java
index 997bac0999fa1e7a7e5f04c16ca7faebc7078326..190d3220c510665cf38cb606ec33373b1a4a7ec5 100644 (file)
--- 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);