diff options
| author | Simon Marlow <marlowsd@gmail.com> | 2009-02-06 13:03:38 +0000 |
|---|---|---|
| committer | Simon Marlow <marlowsd@gmail.com> | 2009-02-06 13:03:38 +0000 |
| commit | 894864ea401b799833bcd107d9c8eb4cc943ae90 (patch) | |
| tree | 31646966183dd19539f5e563cfd98577844bc5e2 /rts/parallel | |
| parent | 5f7079b97e322fd84e99adb686c86afe6d7c8231 (diff) | |
| download | haskell-894864ea401b799833bcd107d9c8eb4cc943ae90.tar.gz | |
add an assertion
Diffstat (limited to 'rts/parallel')
| -rw-r--r-- | rts/parallel/WSDeque.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rts/parallel/WSDeque.c b/rts/parallel/WSDeque.c index 8c403c3a58..ec34a8ca25 100644 --- a/rts/parallel/WSDeque.c +++ b/rts/parallel/WSDeque.c @@ -151,6 +151,7 @@ popWSDeque (WSDeque *q) q->topBound = t+1; /* ...and cached top value as well */ ASSERT_WSDEQUE_INVARIANTS(q); + ASSERT(q->bottom >= q->top); return removed; } |