merge upstream HEAD

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

diff --git a/rts/Timer.h b/rts/Timer.h
index 59b695c..b03ef06 100644 (file)
--- a/rts/Timer.h
+++ b/rts/Timer.h
@@ -9,9 +9,7 @@
 #ifndef TIMER_H
 #define TIMER_H
 
-extern void initTimer(void);
-extern void startTimer(void);
-extern void stopTimer(void);
-extern void exitTimer(void);
+RTS_PRIVATE void initTimer (void);
+RTS_PRIVATE void exitTimer (rtsBool wait);
 
 #endif /* TIMER_H */