From 894864ea401b799833bcd107d9c8eb4cc943ae90 Mon Sep 17 00:00:00 2001
From: Simon Marlow <marlowsd@gmail.com>
Date: Fri, 6 Feb 2009 13:03:38 +0000
Subject: [PATCH] add an assertion

---
 rts/parallel/WSDeque.c |    1 +
 1 file changed, 1 insertion(+)

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