From c7c9df49873a5316afac360f9ac2d8da432b40f1 Mon Sep 17 00:00:00 2001
From: "sven.panne@aedion.de" <unknown>
Date: Sat, 3 Feb 2007 12:31:41 +0000
Subject: [PATCH] Warning police: "%p" format expects a void*

---
 rts/Capability.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rts/Capability.c b/rts/Capability.c
index 564a20f019cb..73a3427d7eb2 100644
--- 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 {