diff options
Diffstat (limited to 'otherlibs/threads/scheduler.c')
| -rw-r--r-- | otherlibs/threads/scheduler.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/threads/scheduler.c b/otherlibs/threads/scheduler.c index fb62442d7..c73ac67e8 100644 --- a/otherlibs/threads/scheduler.c +++ b/otherlibs/threads/scheduler.c @@ -653,7 +653,7 @@ value thread_inchan_ready(value vchan) /* ML */ value thread_outchan_ready(value vchan, value vsize) /* ML */ { struct channel * chan = Channel(vchan); - long size = Long_val(vsize); + intnat size = Long_val(vsize); /* Negative size means we want to flush the buffer entirely */ if (size < 0) { return Val_bool(chan->curr == chan->buff); |