Use timer_create() for the interval timer, if available

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

diff --git a/rts/Ticker.h b/rts/Ticker.h
index f955576..b06890a 100644 (file)
--- a/rts/Ticker.h
+++ b/rts/Ticker.h
@@ -9,7 +9,7 @@
 #ifndef TICKER_H
 #define TICKER_H
 
-extern int  startTicker( nat ms, TickProc handle_tick );
-extern int  stopTicker ( void );
+extern void startTicker( nat ms, TickProc handle_tick );
+extern void stopTicker ( void );
 
 #endif /* TICKER_H */