diff --git a/rts/Stats.c b/rts/Stats.c
index d413c9070f43d7c329ae10026bac17aeead58478..7b30282d4487deea5ddf299146bffdaa0df64996 100644
--- a/rts/Stats.c
+++ b/rts/Stats.c
@@ -81,25 +81,6 @@ Time stat_getElapsedTime(void)
    Measure the current MUT time, for profiling
    ------------------------------------------------------------------------ */
 
-double
-mut_user_time_until( Time t )
-{
-    return TimeToSecondsDbl(t - stats.gc_cpu_ns - stats.nonmoving_gc_cpu_ns);
-    // heapCensus() time is included in GC_tot_cpu, so we don't need
-    // to subtract it here.
-
-    // TODO: This seems wrong to me. Surely we should be subtracting
-    // (at least) start_init_cpu?
-}
-
-double
-mut_user_time( void )
-{
-    Time cpu;
-    cpu = getProcessCPUTime();
-    return mut_user_time_until(cpu);
-}
-
 #if defined(PROFILING)
 /*
   mut_user_time_during_RP() returns the MUT time during retainer profiling.
diff --git a/rts/Stats.h b/rts/Stats.h
index f5b8ce9991dfec100f91c3c9f3aaeff7f7725969..103564a82a4d2c5e316ab181ce796df34a66bf3b 100644
--- a/rts/Stats.h
+++ b/rts/Stats.h
@@ -65,9 +65,6 @@ void      initStats0(void);
 void      initStats1(void);
 void      resetChildProcessStats(void);
 
-double    mut_user_time_until(Time t);
-double    mut_user_time(void);
-
 void      statDescribeGens( void );
 
 Time      stat_getElapsedGCTime(void);