Warning police: Make strlen and friends known

diff --git a/rts/ThreadLabels.c b/rts/ThreadLabels.c
index 72cd5d3..1c89d84 100644 (file)
--- a/rts/ThreadLabels.c
+++ b/rts/ThreadLabels.c
@@ -14,6 +14,7 @@
 #include "Hash.h"
 
 #include <stdlib.h>
+#include <string.h>
 
 #if defined(DEBUG)
 /* to the end */