diff options
Diffstat (limited to 'chromium/third_party/WebKit/Source/platform/SharedTimer.h')
-rw-r--r-- | chromium/third_party/WebKit/Source/platform/SharedTimer.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/chromium/third_party/WebKit/Source/platform/SharedTimer.h b/chromium/third_party/WebKit/Source/platform/SharedTimer.h index e5386fd5cbf..2d5a1c10df4 100644 --- a/chromium/third_party/WebKit/Source/platform/SharedTimer.h +++ b/chromium/third_party/WebKit/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(); } |