diff options
| -rw-r--r-- | rts/Stats.c | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/rts/Stats.c b/rts/Stats.c index 3e7b5d822f..fa38472129 100644 --- a/rts/Stats.c +++ b/rts/Stats.c @@ -753,12 +753,18 @@ stat_exit(int alloc) statsClose(); } - if (GC_coll_cpu) + if (GC_coll_cpu) { stgFree(GC_coll_cpu); - GC_coll_cpu = NULL; - if (GC_coll_elapsed) + GC_coll_cpu = NULL; + } + if (GC_coll_elapsed) { stgFree(GC_coll_elapsed); - GC_coll_elapsed = NULL; + GC_coll_elapsed = NULL; + } + if (GC_coll_max_pause) { + stgFree(GC_coll_max_pause); + GC_coll_max_pause = NULL; + } } /* ----------------------------------------------------------------------------- |