Don't Terminate the ticker thread (#3748)

[ghc-hetmet.git] / rts / Ticker.h

diff --git a/rts/Ticker.h b/rts/Ticker.h
index 3e62622..37c2696 100644 (file)
--- a/rts/Ticker.h
+++ b/rts/Ticker.h
@@ -16,7 +16,7 @@ typedef void (*TickProc)(int);
 void initTicker  (nat ms, TickProc handle_tick);
 void startTicker (void);
 void stopTicker  (void);
-void exitTicker  (void);
+void exitTicker  (rtsBool wait);
 
 END_RTS_PRIVATE