diff --git a/doc/bugs/concurrent_drop--from_presence_checking_failures.mdwn b/doc/bugs/concurrent_drop--from_presence_checking_failures.mdwn index f3517c29a2..93e9b931aa 100644 --- a/doc/bugs/concurrent_drop--from_presence_checking_failures.mdwn +++ b/doc/bugs/concurrent_drop--from_presence_checking_failures.mdwn @@ -28,9 +28,9 @@ consider, for example: A wants from drop from A B wants to drop from B A locks it A checks if B has it (succeeds) -A drops it from A B locks it +A drops it from A B locks it B checks if A has it (fails) - B fails to drop it + B fails to drop it Which is also ok. @@ -39,7 +39,7 @@ A locks it A checks if B has it (succeeds) B locks it B checks if A has it - (does, but locked, so fails) + (does, but locked, so fails) A drops it B fails to drop it Yay, still ok.