* ---------------------------------------------------------------------------*/\r
\r
#include "Rts.h"\r
-#include "ThrIOManager.h"\r
+#include "IOManager.h"\r
#include "Prelude.h"\r
#include <windows.h>\r
\r
#endif\r
} \r
\r
-#if defined(THREADED_RTS)\r
void\r
ioManagerWakeup (void)\r
{\r
sendIOManagerEvent(IO_MANAGER_WAKEUP);\r
}\r
\r
+#if defined(THREADED_RTS)\r
void\r
ioManagerDie (void)\r
{\r