merge upstream HEAD
[ghc-hetmet.git] / rts / Ticker.h
index 159820d..5804501 100644 (file)
@@ -9,15 +9,15 @@
 #ifndef TICKER_H
 #define TICKER_H
 
-#pragma GCC visibility push(hidden)
+#include "BeginPrivate.h"
 
 typedef void (*TickProc)(int);
 
 void initTicker  (nat ms, TickProc handle_tick);
 void startTicker (void);
 void stopTicker  (void);
-void exitTicker  (void);
+void exitTicker  (rtsBool wait);
 
-#pragma GCC visibility pop
+#include "EndPrivate.h"
 
 #endif /* TICKER_H */