diff options
Diffstat (limited to 'rts/Stats.h')
| -rw-r--r-- | rts/Stats.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/rts/Stats.h b/rts/Stats.h index 9de6b718bb..f7a14a1e59 100644 --- a/rts/Stats.h +++ b/rts/Stats.h @@ -54,4 +54,9 @@ HsInt64 getAllocations( void ); Ticks stat_getElapsedGCTime(void); Ticks stat_getElapsedTime(void); +/* Only exported for Papi.c */ +void statsPrintf( char *s, ... ) + GNUC3_ATTRIBUTE(format (printf, 1, 2)); + + #endif /* STATS_H */ |