[project @ 2005-11-25 13:59:33 by simonmar]

remove a misplaced RELEASE_LOCK

diff --git a/ghc/rts/Stable.c b/ghc/rts/Stable.c
index 172be75..09efb6a 100644 (file)
--- 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;