diff options
Diffstat (limited to 'rts/RtsSignals.h')
| -rw-r--r-- | rts/RtsSignals.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/RtsSignals.h b/rts/RtsSignals.h index 6d9374a70c..721561e5b6 100644 --- a/rts/RtsSignals.h +++ b/rts/RtsSignals.h @@ -73,7 +73,7 @@ extern void awaitUserSignals(void); * Evacuate the handler queue. _Assumes_ that console event delivery * has already been blocked. */ -extern void markSignalHandlers (evac_fn evac); +extern void markSignalHandlers (evac_fn evac, void *user); #endif /* RTS_USER_SIGNALS */ |