1 files changed, 0 insertions, 3 deletions
diff --git a/rts/Stats.h b/rts/Stats.h
index f5b8ce9991..103564a82a 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);