diff options
Diffstat (limited to 'rts/Timer.c')
| -rw-r--r-- | rts/Timer.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/Timer.c b/rts/Timer.c index 9136c60f20..a8b0e20a5f 100644 --- a/rts/Timer.c +++ b/rts/Timer.c @@ -134,7 +134,7 @@ stopTimer(void) } void -exitTimer (rtsBool wait) +exitTimer (bool wait) { if (RtsFlags.MiscFlags.tickInterval != 0) { exitTicker(wait); |