diff options
| author | Sergei Trofimovich <siarheit@google.com> | 2016-02-07 17:23:36 +0000 |
|---|---|---|
| committer | Sergei Trofimovich <siarheit@google.com> | 2016-02-07 20:27:21 +0000 |
| commit | 8abc7e76ecd9bdd31ace27ed24b3d42522d2f189 (patch) | |
| tree | a38232fa6d87927a3fb30989ffb5e4790d25abb4 /rts/Stats.h | |
| parent | 3dbd836ea2e9ddf417ed473bcff98fe29e40395a (diff) | |
| download | haskell-8abc7e76ecd9bdd31ace27ed24b3d42522d2f189.tar.gz | |
rts: drop unused mut_user_time_during_heap_census
Was never used looking at history available in git.
While at it marked 'mut_user_time_during_RP' as 'static'.
Noticed by uselex.rb:
mut_user_time_during_heap_census: [R]: exported from:
./rts/dist/build/Stats.p_o
Signed-off-by: Sergei Trofimovich <siarheit@google.com>
Diffstat (limited to 'rts/Stats.h')
| -rw-r--r-- | rts/Stats.h | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/rts/Stats.h b/rts/Stats.h index b7ced97a45..5897a3b0f5 100644 --- a/rts/Stats.h +++ b/rts/Stats.h @@ -59,11 +59,6 @@ void initStats1(void); double mut_user_time_until(Time t); double mut_user_time(void); -#ifdef PROFILING -double mut_user_time_during_RP(void); -double mut_user_time_during_heap_census(void); -#endif /* PROFILING */ - void statDescribeGens( void ); Time stat_getElapsedGCTime(void); |