diff options
Diffstat (limited to 'rts/Schedule.h')
| -rw-r--r-- | rts/Schedule.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/Schedule.h b/rts/Schedule.h index 2d8d813464..89ab6e0b4c 100644 --- a/rts/Schedule.h +++ b/rts/Schedule.h @@ -176,7 +176,7 @@ pushOnRunQueue (Capability *cap, StgTSO *tso) INLINE_HEADER StgTSO * popRunQueue (Capability *cap) { - ASSERT(cap->n_run_queue != 0); + ASSERT(cap->n_run_queue > 0); StgTSO *t = cap->run_queue_hd; ASSERT(t != END_TSO_QUEUE); cap->run_queue_hd = t->_link; |