diff --git a/Concurrent Systems/test/Untitled.md b/Concurrent Systems/test/Untitled.md index 9081afa..4e8f12f 100644 --- a/Concurrent Systems/test/Untitled.md +++ b/Concurrent Systems/test/Untitled.md @@ -42,8 +42,6 @@ monitor RW_READERS := operation begin_read() := WR++ - if WW != 0 then - CR_PR.wait() if AW != 0 then CR.wait() CR.signal()