diff options
Diffstat (limited to 'rts/RaiseAsync.h')
| -rw-r--r-- | rts/RaiseAsync.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/rts/RaiseAsync.h b/rts/RaiseAsync.h index d804f6bc64..1f61b8c72d 100644 --- a/rts/RaiseAsync.h +++ b/rts/RaiseAsync.h @@ -16,6 +16,9 @@ #include "BeginPrivate.h" +void blockedThrowTo (Capability *cap, + StgTSO *target, MessageThrowTo *msg); + void throwToSingleThreaded (Capability *cap, StgTSO *tso, StgClosure *exception); |