diff options
Diffstat (limited to 'rts/Profiling.c')
| -rw-r--r-- | rts/Profiling.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/rts/Profiling.c b/rts/Profiling.c index a8650788e9..4e759b6942 100644 --- a/rts/Profiling.c +++ b/rts/Profiling.c @@ -186,6 +186,12 @@ initProfiling1 (void) } void +freeProfiling1 (void) +{ + arenaFree(prof_arena); +} + +void initProfiling2 (void) { CostCentreStack *ccs, *next; |