diff --git a/doc/bugs/concurrent_drop--from_presence_checking_failures.mdwn b/doc/bugs/concurrent_drop--from_presence_checking_failures.mdwn index 66fe488962..44d73b1dfc 100644 --- a/doc/bugs/concurrent_drop--from_presence_checking_failures.mdwn +++ b/doc/bugs/concurrent_drop--from_presence_checking_failures.mdwn @@ -260,7 +260,7 @@ S no longer had the copy it expected. But, this is not actually a problem, because the copy moved to R2 and so still exists. So, this is ok! -
+Case 2: