Don't Terminate the ticker thread (#3748)
[ghc.git] / rts / Ticker.h
index 3e62622..37c2696 100644 (file)
@@ -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