pthread_key_delete wants the key itself, not a pointer to it

diff --git a/rts/posix/OSThreads.c b/rts/posix/OSThreads.c
index 6b6fa5c..510a51d 100644 (file)
--- a/rts/posix/OSThreads.c
+++ b/rts/posix/OSThreads.c
@@ -152,7 +152,7 @@ void
 freeThreadLocalKey (ThreadLocalKey *key)
 {
     int r;
-    if ((r = pthread_key_delete(key)) != 0) {
+    if ((r = pthread_key_delete(*key)) != 0) {
        barf("freeThreadLocalKey: %s", strerror(r));
     }
 }