diff options
Diffstat (limited to 'rts/Stats.h')
| -rw-r--r-- | rts/Stats.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/rts/Stats.h b/rts/Stats.h index 8761be5669..f0060bdf4a 100644 --- a/rts/Stats.h +++ b/rts/Stats.h @@ -49,7 +49,6 @@ void stat_workerStop(void); void initStats0(void); void initStats1(void); -double mut_user_time_during_GC(void); double mut_user_time_until(Ticks t); double mut_user_time(void); |