diff options
Diffstat (limited to 'test/088-monitor-verification/src/TwoPath.java')
| -rw-r--r-- | test/088-monitor-verification/src/TwoPath.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/088-monitor-verification/src/TwoPath.java b/test/088-monitor-verification/src/TwoPath.java index 2542de7f27..bdc15ad82e 100644 --- a/test/088-monitor-verification/src/TwoPath.java +++ b/test/088-monitor-verification/src/TwoPath.java @@ -31,6 +31,8 @@ public class TwoPath { * Conditionally uses one of the synchronized objects. */ public static void twoPath(Object obj1, Object obj2, int x) { + Main.assertIsManaged(); + Object localObj; synchronized (obj1) { |