Remove redundant callback parameter from createTimer.

This commit is contained in:
Sönke Ludwig 2016-06-14 09:25:06 +02:00
parent 5ec6b9a5e5
commit 5298e00c09
2 changed files with 2 additions and 3 deletions

View file

@ -80,7 +80,7 @@ interface EventDriver {
//
// Timers
//
TimerID createTimer(TimerCallback callback);
TimerID createTimer();
void setTimer(TimerID timer, Duration timeout, Duration repeat = Duration.zero);
void stopTimer(TimerID timer);
bool isTimerPending(TimerID timer);