Warning police: "%p" format expects a void*

dmpots · Feb 3, 2007 · c7c9df4 · c7c9df4
1 parent ddf73c0
commit c7c9df4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/rts/Capability.c b/rts/Capability.c
@@ -677,7 +677,7 @@ shutdownCapability (Capability *cap, Task *task)
             for (t = cap->spare_workers; t != NULL; t = t->next) {
                 if (!osThreadIsAlive(t->id)) {
                     debugTrace(DEBUG_sched, 
-                               "worker thread %p has died unexpectedly", t->id);
+                               "worker thread %p has died unexpectedly", (void *)t->id);
                         if (!prev) {
                             cap->spare_workers = t->next;
                         } else {