diff options
Diffstat (limited to 'rts/Stats.h')
| -rw-r--r-- | rts/Stats.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/rts/Stats.h b/rts/Stats.h index f13221546e..02adcf95d8 100644 --- a/rts/Stats.h +++ b/rts/Stats.h @@ -61,6 +61,8 @@ Ticks stat_getElapsedTime(void); void statsPrintf( char *s, ... ) GNUC3_ATTRIBUTE(format (printf, 1, 2)); +HsInt64 getAllocations (void); + END_RTS_PRIVATE #endif /* STATS_H */ |