From: Simon Marlow <marlowsd@gmail.com>
Date: Fri, 6 Feb 2009 13:03:38 +0000 (+0000)
Subject: add an assertion
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=894864ea401b799833bcd107d9c8eb4cc943ae90

add an assertion
---

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;
 }