diff options
Diffstat (limited to 'rts/win32/AwaitEvent.c')
| -rw-r--r-- | rts/win32/AwaitEvent.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/win32/AwaitEvent.c b/rts/win32/AwaitEvent.c index feae4c86ed..51581025e1 100644 --- a/rts/win32/AwaitEvent.c +++ b/rts/win32/AwaitEvent.c @@ -22,7 +22,7 @@ // Used to avoid calling abandonRequestWait() if we don't need to. // Protected by sched_mutex. -static nat workerWaitingForRequests = 0; +static uint32_t workerWaitingForRequests = 0; void awaitEvent(rtsBool wait) |