Commit c8b84d15 authored by Simon Marlow's avatar Simon Marlow

Windows-specific fix for #1185 patch

parent 2d5e052d
......@@ -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)
{
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment