diff options
Diffstat (limited to 'includes/rts/IOManager.h')
| -rw-r--r-- | includes/rts/IOManager.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/rts/IOManager.h b/includes/rts/IOManager.h index 7bf2cdf43c..f9e2cd7958 100644 --- a/includes/rts/IOManager.h +++ b/includes/rts/IOManager.h @@ -26,7 +26,7 @@ void sendIOManagerEvent (HsWord32 event); #else -void setIOManagerControlFd (nat cap_no, int fd); +void setIOManagerControlFd (uint32_t cap_no, int fd); void setTimerManagerControlFd(int fd); void setIOManagerWakeupFd (int fd); |