Add freeScheduler/freeTaskManager and call it later than exitScheduler

[ghc-hetmet.git] / rts / Schedule.c

diff --git a/rts/Schedule.c b/rts/Schedule.c
index cf62c5a..77dcf41 100644 (file)
--- a/rts/Schedule.c
+++ b/rts/Schedule.c
@@ -2582,6 +2582,12 @@ exitScheduler( void )
 #endif
 }
 
+void
+freeScheduler( void )
+{
+    freeTaskManager();
+}
+
 /* ---------------------------------------------------------------------------
    Where are the roots that we know about?