diff options
Diffstat (limited to 'rts/win32/ConsoleHandler.c')
| -rw-r--r-- | rts/win32/ConsoleHandler.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/win32/ConsoleHandler.c b/rts/win32/ConsoleHandler.c index 05d15868eb..4af897bc54 100644 --- a/rts/win32/ConsoleHandler.c +++ b/rts/win32/ConsoleHandler.c @@ -57,7 +57,7 @@ freeSignalHandlers(void) { /* Do nothing */ } -/* Seems to be a bit of an orphan...where used? */ +/* Called in hs_exit to clean up resources. */ void finiUserSignals(void) { |