From: Simon Marlow <simonmar@microsoft.com>
Date: Mon, 13 Mar 2006 15:41:02 +0000 (+0000)
Subject: add another SMP assertion
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=0dbbf1932d550293986af6244202cb735b2cd966

add another SMP assertion
---

diff --git a/ghc/rts/Schedule.c b/ghc/rts/Schedule.c
index 6d8fe63..b0a8dc6 100644
--- a/ghc/rts/Schedule.c
+++ b/ghc/rts/Schedule.c
@@ -563,6 +563,8 @@ run_thread:
     // ----------------------------------------------------------------------
     // Run the current thread 
 
+    ASSERT_FULL_CAPABILITY_INVARIANTS(cap,task);
+
     prev_what_next = t->what_next;
 
     errno = t->saved_errno;