diff options
Diffstat (limited to 'rts/Stats.h')
| -rw-r--r-- | rts/Stats.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/rts/Stats.h b/rts/Stats.h index bd39ced57d..4b98739fe2 100644 --- a/rts/Stats.h +++ b/rts/Stats.h @@ -51,7 +51,6 @@ double mut_user_time_during_heap_census(void); #endif /* PROFILING */ void statDescribeGens( void ); -HsInt64 getAllocations( void ); Ticks stat_getElapsedGCTime(void); Ticks stat_getElapsedTime(void); |