add an assertion

diff --git a/rts/Schedule.c b/rts/Schedule.c
index e17c653..2e9d0dd 100644 (file)
--- a/rts/Schedule.c
+++ b/rts/Schedule.c
@@ -479,6 +479,7 @@ run_thread:
 
     ASSERT_FULL_CAPABILITY_INVARIANTS(cap,task);
     ASSERT(t->cap == cap);
+    ASSERT(t->bound ? t->bound->cap == cap : 1);
 
     prev_what_next = t->what_next;