diff options
Diffstat (limited to 'rts/RtsSignals.h')
| -rw-r--r-- | rts/RtsSignals.h | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/rts/RtsSignals.h b/rts/RtsSignals.h index d4176034e3..b0add6727d 100644 --- a/rts/RtsSignals.h +++ b/rts/RtsSignals.h @@ -51,14 +51,6 @@ void freeSignalHandlers(void); */ void awaitUserSignals(void); -/* - * Function: markSignalHandlers() - * - * Evacuate the handler queue. _Assumes_ that console event delivery - * has already been blocked. - */ -void markSignalHandlers (evac_fn evac, void *user); - #include "EndPrivate.h" #endif /* RTS_USER_SIGNALS */ |