Don't Terminate the ticker thread (#3748)
[ghc.git] / rts / Timer.h
index f0b5459..b03ef06 100644 (file)
@@ -10,6 +10,6 @@
 #define TIMER_H
 
 RTS_PRIVATE void initTimer (void);
-RTS_PRIVATE void exitTimer (void);
+RTS_PRIVATE void exitTimer (rtsBool wait);
 
 #endif /* TIMER_H */