#include "Hash.h"
#include <stdlib.h>
+#include <string.h>
#if defined(DEBUG)
/* to the end */
}
void
+freeThreadLabelTable(void)
+{
+ if (threadLabels != NULL) {
+ freeHashTable(threadLabels, NULL);
+ threadLabels = NULL;
+ }
+}
+
+void
updateThreadLabel(StgWord key, void *data)
{
removeThreadLabel(key);