diff options
Diffstat (limited to 'rts/RetainerProfile.h')
| -rw-r--r-- | rts/RetainerProfile.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/rts/RetainerProfile.h b/rts/RetainerProfile.h index 6a2dc5e846..f15f0aa716 100644 --- a/rts/RetainerProfile.h +++ b/rts/RetainerProfile.h @@ -20,10 +20,12 @@ void initRetainerProfiling ( void ); void endRetainerProfiling ( void ); void retainerProfile ( void ); +bool isRetainerSetValid( const StgClosure *c ); RetainerSet* retainerSetOf( const StgClosure *c ); // Used by GC.c W_ retainerStackBlocks(void); +extern traverseState g_retainerTraverseState; #include "EndPrivate.h" |