diff options
author | Duncan Coutts <duncan@well-typed.com> | 2021-01-03 12:22:37 +0000 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-01-25 05:11:14 -0500 |
commit | 083d7aeb5b0f9e47bf34459415367502492c5e06 (patch) | |
tree | 8af2ec61e332b11d4571df8345d0139018396639 /rts/Schedule.c | |
parent | b18d9e97252c9dd12f08d3e6f56bfec6a6d2469a (diff) | |
download | haskell-083d7aeb5b0f9e47bf34459415367502492c5e06.tar.gz |
Move win32/IOManager to win32/MIOManager
It is only for MIO, and we want to use the generic name IOManager for
the name of the common parts of the interface and dispatch.
Diffstat (limited to 'rts/Schedule.c')
-rw-r--r-- | rts/Schedule.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/Schedule.c b/rts/Schedule.c index 8a07e97ba1..514832ea6e 100644 --- a/rts/Schedule.c +++ b/rts/Schedule.c @@ -33,7 +33,7 @@ #include "Task.h" #include "AwaitEvent.h" #if defined(mingw32_HOST_OS) -#include "win32/IOManager.h" +#include "win32/MIOManager.h" #include "win32/AsyncWinIO.h" #endif #include "Trace.h" |