diff options
| author | Tamar Christina <tamar@zhox.com> | 2019-06-16 21:54:23 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2020-07-15 16:41:01 -0400 |
| commit | 90e69f779b6da755fac472337535a1321cbb7917 (patch) | |
| tree | 935ccfc0e38bfae2133b926347edb51bafecdfa7 /rts/Schedule.h | |
| parent | 356dc3feae967b1c361130f1f356ef9ad6a693e4 (diff) | |
| download | haskell-90e69f779b6da755fac472337535a1321cbb7917.tar.gz | |
winio: Add IOPort synchronization primitive
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; |