free the gc_thread structures during shutdown

[ghc-hetmet.git] / rts / sm / GC.h

diff --git a/rts/sm/GC.h b/rts/sm/GC.h
index fb6e385..fb4381d 100644 (file)
--- a/rts/sm/GC.h
+++ b/rts/sm/GC.h
@@ -44,6 +44,7 @@ extern StgWord64 whitehole_spin;
 
 void gcWorkerThread (Capability *cap);
 void initGcThreads (void);
+void freeGcThreads (void);
 void waitForGcThreads (Capability *cap);
 void releaseGCThreads (Capability *cap);