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