free the entries in the thread label table on exit

diff --git a/rts/ThreadLabels.c b/rts/ThreadLabels.c
index aa620f0..6d2a5d6 100644 (file)
--- a/rts/ThreadLabels.c
+++ b/rts/ThreadLabels.c
@@ -33,12 +33,12 @@ void
 freeThreadLabelTable(void)
 {
     if (threadLabels != NULL) {
-        freeHashTable(threadLabels, NULL);
+        freeHashTable(threadLabels, stgFree);
         threadLabels = NULL;
     }
 }
 
-void
+static void
 updateThreadLabel(StgWord key, void *data)
 {
   removeThreadLabel(key);

diff --git a/rts/ThreadLabels.h b/rts/ThreadLabels.h
index 17d6b3f..254b91e 100644 (file)
--- a/rts/ThreadLabels.h
+++ b/rts/ThreadLabels.h
@@ -15,7 +15,6 @@
 #if defined(DEBUG)
 void    initThreadLabelTable (void);
 void    freeThreadLabelTable (void);
-void    updateThreadLabel    (StgWord key, void *data);
 void *  lookupThreadLabel    (StgWord key);
 void    removeThreadLabel    (StgWord key);
 void    labelThread          (StgPtr tso, char *label);