merge upstream HEAD

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

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