diff options
| -rw-r--r-- | rts/win32/ThrIOManager.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/win32/ThrIOManager.c b/rts/win32/ThrIOManager.c index e62b33d9d3..50dd4fb95a 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)
{
|