#ifndef TICKER_H
#define TICKER_H
-BEGIN_RTS_PRIVATE
+#include "BeginPrivate.h"
typedef void (*TickProc)(int);
void initTicker (nat ms, TickProc handle_tick);
void startTicker (void);
void stopTicker (void);
-void exitTicker (void);
+void exitTicker (rtsBool wait);
-END_RTS_PRIVATE
+#include "EndPrivate.h"
#endif /* TICKER_H */