diff options
Diffstat (limited to 'includes')
| -rw-r--r-- | includes/Stable.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/includes/Stable.h b/includes/Stable.h index ca2e72118a..3eabb30ffe 100644 --- a/includes/Stable.h +++ b/includes/Stable.h @@ -55,6 +55,7 @@ extern StgPtr deRefStablePtr(StgStablePtr sp); #endif extern void initStablePtrTable ( void ); +extern void exitStablePtrTable ( void ); extern void enlargeStablePtrTable ( void ); extern StgWord lookupStableName ( StgPtr p ); @@ -63,4 +64,6 @@ extern void threadStablePtrTable ( evac_fn evac ); extern void gcStablePtrTable ( void ); extern void updateStablePtrTable ( rtsBool full ); +extern void exitHashTable ( void ); + #endif |