Use timer_create() for the interval timer, if available

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

diff --git a/rts/Timer.h b/rts/Timer.h
index 1fe857d..6d3c415 100644 (file)
--- a/rts/Timer.h
+++ b/rts/Timer.h
@@ -11,7 +11,7 @@
 
 typedef void (*TickProc)(int);
 
-extern int startTimer(void);
-extern int stopTimer(void);
+extern void startTimer(void);
+extern void stopTimer(void);
 
 #endif /* TIMER_H */