diff options
Diffstat (limited to 'rts/Stats.h')
| -rw-r--r-- | rts/Stats.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rts/Stats.h b/rts/Stats.h index 20bc0155ad..9de6b718bb 100644 --- a/rts/Stats.h +++ b/rts/Stats.h @@ -52,5 +52,6 @@ void statDescribeGens( void ); HsInt64 getAllocations( void ); Ticks stat_getElapsedGCTime(void); +Ticks stat_getElapsedTime(void); #endif /* STATS_H */ |