X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2Fparallel%2FWSDeque.c;fp=rts%2Fparallel%2FWSDeque.c;h=ec34a8ca25d359fa4a98c9d789a26576768bdafe;hb=894864ea401b799833bcd107d9c8eb4cc943ae90;hp=8c403c3a5841c6b4a937012760cac0f12fd753cd;hpb=5f7079b97e322fd84e99adb686c86afe6d7c8231;p=ghc-hetmet.git

diff --git a/rts/parallel/WSDeque.c b/rts/parallel/WSDeque.c
index 8c403c3..ec34a8c 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;
 }