From 9512557e2ad1800146ff1931748cda283c267026 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Fri, 25 Nov 2005 13:59:33 +0000
Subject: [PATCH] [project @ 2005-11-25 13:59:33 by simonmar] remove a
 misplaced RELEASE_LOCK

---
 ghc/rts/Stable.c |    1 -
 1 file changed, 1 deletion(-)

diff --git a/ghc/rts/Stable.c b/ghc/rts/Stable.c
index 172be75..09efb6a 100644
--- a/ghc/rts/Stable.c
+++ b/ghc/rts/Stable.c
@@ -192,7 +192,6 @@ lookupStableName_(StgPtr p)
   if (sn != 0) {
     ASSERT(stable_ptr_table[sn].addr == p);
     IF_DEBUG(stable,debugBelch("cached stable name %ld at %p\n",sn,p));
-    RELEASE_LOCK(&stable_mutex);
     return sn;
   } else {
     sn = stable_ptr_free - stable_ptr_table;
-- 
1.7.10.4