diff options
Diffstat (limited to 'rts/Stats.h')
-rw-r--r-- | rts/Stats.h | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/rts/Stats.h b/rts/Stats.h index 73bed2273d..1f498aea23 100644 --- a/rts/Stats.h +++ b/rts/Stats.h @@ -39,11 +39,7 @@ void stat_endGC (Capability *cap, struct gc_thread_ *_gct, W_ live, #if defined(PROFILING) void stat_startRP(void); -void stat_endRP(uint32_t, -#if defined(DEBUG_RETAINER) - int, -#endif - double); +void stat_endRP(uint32_t, int, double); #endif /* PROFILING */ #if defined(PROFILING) || defined(DEBUG) |