From 8abc7e76ecd9bdd31ace27ed24b3d42522d2f189 Mon Sep 17 00:00:00 2001 From: Sergei Trofimovich Date: Sun, 7 Feb 2016 17:23:36 +0000 Subject: 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 --- rts/Stats.h | 5 ----- 1 file changed, 5 deletions(-) (limited to 'rts/Stats.h') 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); -- cgit v1.2.1