From 9f2ceb4da7dfbc1cfd09ce54610ebe64288b9007 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Tue, 8 Aug 2006 10:31:10 +0000 Subject: Remember to free() memory on exit Patch mostly from Lennart Augustsson in #803, with additions to Task.c by me. --- includes/Stable.h | 3 +++ 1 file changed, 3 insertions(+) (limited to 'includes') 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 -- cgit v1.2.1