rts: drop unused mut_user_time_during_heap_census
authorSergei Trofimovich <siarheit@google.com>
Sun, 7 Feb 2016 17:23:36 +0000 (17:23 +0000)
committerSergei Trofimovich <siarheit@google.com>
Sun, 7 Feb 2016 20:27:21 +0000 (20:27 +0000)
commit8abc7e76ecd9bdd31ace27ed24b3d42522d2f189
treea38232fa6d87927a3fb30989ffb5e4790d25abb4
parent3dbd836ea2e9ddf417ed473bcff98fe29e40395a
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>
rts/Stats.c
rts/Stats.h