X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FSchedule.c;h=77dcf411c747a2d50126db392b7cad561f15ddec;hb=d50e93cf95b68bf858be82025b56c9977335ed76;hp=cf62c5ae7a220408065973c0daf2a9592381db21;hpb=80a766fdb6864eae613962e43ad9eb371e0ce80c;p=ghc-hetmet.git diff --git a/rts/Schedule.c b/rts/Schedule.c index cf62c5a..77dcf41 100644 --- 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?