diff options
Diffstat (limited to 'rts/WSDeque.h')
| -rw-r--r-- | rts/WSDeque.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/WSDeque.h b/rts/WSDeque.h index 4993d5ac61..5a23746562 100644 --- a/rts/WSDeque.h +++ b/rts/WSDeque.h @@ -67,7 +67,7 @@ typedef struct WSDeque_ { * -------------------------------------------------------------------------- */ // Allocation, deallocation -WSDeque * newWSDeque (nat size); +WSDeque * newWSDeque (uint32_t size); void freeWSDeque (WSDeque *q); // Take an element from the "write" end of the pool. Can be called |