From c8b84d15cea2869977a1248701f5ffa47e48d33e Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Thu, 12 Nov 2009 12:58:53 +0000 Subject: [PATCH] Windows-specific fix for #1185 patch --- rts/win32/ThrIOManager.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rts/win32/ThrIOManager.c b/rts/win32/ThrIOManager.c index e62b33d..50dd4fb 100644 --- a/rts/win32/ThrIOManager.c +++ b/rts/win32/ThrIOManager.c @@ -112,13 +112,13 @@ sendIOManagerEvent (HsWord32 event) #endif } -#if defined(THREADED_RTS) void ioManagerWakeup (void) { sendIOManagerEvent(IO_MANAGER_WAKEUP); } +#if defined(THREADED_RTS) void ioManagerDie (void) { -- 1.7.10.4