fix pretty-printing of the cvttsd2si SSE2 instruction (fixes 5149 test

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

diff --git a/rts/Timer.h b/rts/Timer.h
index c679a58..b03ef06 100644 (file)
--- a/rts/Timer.h
+++ b/rts/Timer.h
@@ -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 */