diff options
Diffstat (limited to 'rts/posix/itimer/TimerCreate.c')
-rw-r--r-- | rts/posix/itimer/TimerCreate.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/posix/itimer/TimerCreate.c b/rts/posix/itimer/TimerCreate.c index a5fe8ce5f1..bee3108d38 100644 --- a/rts/posix/itimer/TimerCreate.c +++ b/rts/posix/itimer/TimerCreate.c @@ -76,7 +76,7 @@ stopTicker(void) } void -exitTicker (rtsBool wait STG_UNUSED) +exitTicker (bool wait STG_UNUSED) { // Before deleting the timer set the signal to ignore to avoid the // possibility of the signal being delivered after the timer is deleted. |