diff options
Diffstat (limited to 'includes/rts/IOManager.h')
| -rw-r--r-- | includes/rts/IOManager.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/includes/rts/IOManager.h b/includes/rts/IOManager.h index 3aedda8b55..bf93d97a80 100644 --- a/includes/rts/IOManager.h +++ b/includes/rts/IOManager.h @@ -26,8 +26,8 @@ void sendIOManagerEvent (HsWord32 event); #else -void setIOManagerPipe (int fd); -void ioManagerSync (void); +void setIOManagerControlFd (int fd); +void setIOManagerWakeupFd (int fd); #endif |