diff options
Diffstat (limited to 'rts/Stats.h')
| -rw-r--r-- | rts/Stats.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/rts/Stats.h b/rts/Stats.h index 2d7e655e3d..12311ee100 100644 --- a/rts/Stats.h +++ b/rts/Stats.h @@ -16,7 +16,8 @@ void stat_endInit(void); void stat_startGC(void); void stat_endGC (lnat alloc, lnat live, - lnat copied, lnat gen); + lnat copied, lnat gen, + lnat max_copied, lnat avg_copied); #ifdef PROFILING void stat_startRP(void); |