diff options
Diffstat (limited to 'rts/IOManager.h')
| -rw-r--r-- | rts/IOManager.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/IOManager.h b/rts/IOManager.h index fe65f373da..c8c09440a9 100644 --- a/rts/IOManager.h +++ b/rts/IOManager.h @@ -159,7 +159,7 @@ INLINE_HEADER bool anyPendingTimeoutsOrIO(CapIOManager *iomgr); * Defined in posix/Select.c * or win32/AwaitEvent.c */ -void awaitEvent(bool wait); +void awaitEvent(Capability *cap, bool wait); #endif |