From: sven.panne@aedion.de <unknown>
Date: Sat, 3 Feb 2007 12:31:41 +0000 (+0000)
Subject: Warning police: "%p" format expects a void*
X-Git-Tag: 2007-02-05~7
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=c7c9df49873a5316afac360f9ac2d8da432b40f1

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

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