| Index: Source/platform/SharedTimer.h
|
| diff --git a/Source/platform/SharedTimer.h b/Source/platform/SharedTimer.h
|
| index e5386fd5cbf69c9ef40ca80bbfabaefb70186cf7..2d5a1c10df440cde77d8804cd9398afb10912edd 100644
|
| --- a/Source/platform/SharedTimer.h
|
| +++ b/Source/platform/SharedTimer.h
|
| @@ -54,17 +54,17 @@ PLATFORM_EXPORT void stopSharedTimer();
|
|
|
| class PLATFORM_EXPORT MainThreadSharedTimer : public SharedTimer {
|
| public:
|
| - virtual void setFiredFunction(void (*function)())
|
| + virtual void setFiredFunction(void (*function)()) OVERRIDE
|
| {
|
| setSharedTimerFiredFunction(function);
|
| }
|
|
|
| - virtual void setFireInterval(double interval)
|
| + virtual void setFireInterval(double interval) OVERRIDE
|
| {
|
| setSharedTimerFireInterval(interval);
|
| }
|
|
|
| - virtual void stop()
|
| + virtual void stop() OVERRIDE
|
| {
|
| stopSharedTimer();
|
| }
|
|
|