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(); |
} |