diff options
| -rw-r--r-- | ghc/rts/Schedule.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ghc/rts/Schedule.c b/ghc/rts/Schedule.c index 6d8fe63ff4..b0a8dc64c3 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; |