diff options
Diffstat (limited to 'rts/Profiling.h')
| -rw-r--r-- | rts/Profiling.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/rts/Profiling.h b/rts/Profiling.h index 45725e5631..c692c22b5e 100644 --- a/rts/Profiling.h +++ b/rts/Profiling.h @@ -13,6 +13,10 @@ #include "BeginPrivate.h" #include "Rts.h" +#if defined(DEBUG) +#include "Arena.h" +#endif + #if defined(PROFILING) #define PROFILING_ONLY(s) s #else @@ -46,6 +50,8 @@ bool ignoreCCS (CostCentreStack const *ccs); bool ignoreCC (CostCentre const *cc); #if defined(DEBUG) +extern Arena *prof_arena; + void debugCCS( CostCentreStack *ccs ); #endif |