fix close tag

diff --git a/doc/bugs/concurrent_drop--from_presence_checking_failures.mdwn b/doc/bugs/concurrent_drop--from_presence_checking_failures.mdwn
index 66fe488962985dc5b65944103e1b5e5838590514..44d73b1dfc37a7fe2f42d2fde096d9b492e7c9db 100644 (file)
--- 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!
-<pre>
+</pre>
 
 Case 2: