merge upstream HEAD
[ghc-hetmet.git] / rts / Timer.h
index c679a58..b03ef06 100644 (file)
@@ -9,7 +9,7 @@
 #ifndef TIMER_H
 #define TIMER_H
 
-void initTimer (void);
-void exitTimer (void);
+RTS_PRIVATE void initTimer (void);
+RTS_PRIVATE void exitTimer (rtsBool wait);
 
 #endif /* TIMER_H */