[commit: ghc] master: rts: drop unused mut_user_time_during_heap_census (8abc7e7)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/8abc7e76ecd9bdd31ace27ed24b3d42522d2f189/ghc

>---------------------------------------------------------------

commit 8abc7e76ecd9bdd31ace27ed24b3d42522d2f189
Author: Sergei Trofimovich <siarheit at google.com>
Date:   Sun Feb 7 17:23:36 2016 +0000

    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 at google.com>


>---------------------------------------------------------------

8abc7e76ecd9bdd31ace27ed24b3d42522d2f189
 rts/Stats.c | 7 +------
 rts/Stats.h | 5 -----
 2 files changed, 1 insertion(+), 11 deletions(-)

diff --git a/rts/Stats.c b/rts/Stats.c
index 4c06b18..25074ea 100644
--- a/rts/Stats.c
+++ b/rts/Stats.c
@@ -105,17 +105,12 @@ mut_user_time( void )
   mut_user_time_during_RP() returns the MUT time during retainer profiling.
   The same is for mut_user_time_during_HC();
  */
-double
+static double
 mut_user_time_during_RP( void )
 {
     return TimeToSecondsDbl(RP_start_time - GC_tot_cpu - RP_tot_time);
 }
 
-double
-mut_user_time_during_heap_census( void )
-{
-    return TimeToSecondsDbl(HC_start_time - GC_tot_cpu - RP_tot_time);
-}
 #endif /* PROFILING */
 
 /* ---------------------------------------------------------------------------
diff --git a/rts/Stats.h b/rts/Stats.h
index b7ced97..5897a3b 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);