diff options
Diffstat (limited to 'rts/Stats.h')
| -rw-r--r-- | rts/Stats.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/rts/Stats.h b/rts/Stats.h index f0060bdf4a..83b2cb6998 100644 --- a/rts/Stats.h +++ b/rts/Stats.h @@ -49,7 +49,7 @@ void stat_workerStop(void); void initStats0(void); void initStats1(void); -double mut_user_time_until(Ticks t); +double mut_user_time_until(Time t); double mut_user_time(void); #ifdef PROFILING @@ -59,8 +59,8 @@ double mut_user_time_during_heap_census(void); void statDescribeGens( void ); -Ticks stat_getElapsedGCTime(void); -Ticks stat_getElapsedTime(void); +Time stat_getElapsedGCTime(void); +Time stat_getElapsedTime(void); /* Only exported for Papi.c */ void statsPrintf( char *s, ... ) |