diff options
Diffstat (limited to 'rts/RtsStartup.c')
| -rw-r--r-- | rts/RtsStartup.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/rts/RtsStartup.c b/rts/RtsStartup.c index bd6a6ae14a..4b9d9471ee 100644 --- a/rts/RtsStartup.c +++ b/rts/RtsStartup.c @@ -408,6 +408,9 @@ hs_exit_(rtsBool wait_foreign) #if defined(TICKY_TICKY) if (RtsFlags.TickyFlags.showTickyStats) PrintTickyInfo(); + + FILE *tf = RtsFlags.TickyFlags.tickyFile; + if (tf != NULL) fclose(tf); #endif #if defined(mingw32_HOST_OS) && !defined(THREADED_RTS) |