diff options
Diffstat (limited to 'rts/sm/NonMovingMark.h')
| -rw-r--r-- | rts/sm/NonMovingMark.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rts/sm/NonMovingMark.h b/rts/sm/NonMovingMark.h index 0938e2775a..1cfcc860bf 100644 --- a/rts/sm/NonMovingMark.h +++ b/rts/sm/NonMovingMark.h @@ -143,6 +143,7 @@ void updateRemembSetPushClosure(Capability *cap, StgClosure *p); void updateRemembSetPushThunk(Capability *cap, StgThunk *p); void updateRemembSetPushTSO(Capability *cap, StgTSO *tso); void updateRemembSetPushStack(Capability *cap, StgStack *stack); +void updateRemembSetPushMessageThrowTo(Capability *cap, MessageThrowTo *m); #if defined(THREADED_RTS) void nonmovingFlushCapUpdRemSetBlocks(Capability *cap); |