diff options
Diffstat (limited to 'rts/posix/itimer/Pthread.c')
| -rw-r--r-- | rts/posix/itimer/Pthread.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/posix/itimer/Pthread.c b/rts/posix/itimer/Pthread.c index 4f0d7509ec..3b31fe4103 100644 --- a/rts/posix/itimer/Pthread.c +++ b/rts/posix/itimer/Pthread.c @@ -198,7 +198,7 @@ stopTicker(void) /* There may be at most one additional tick fired after a call to this */ void -exitTicker (rtsBool wait) +exitTicker (bool wait) { ASSERT(!exited); exited = 1; |