Index: third_party/WebKit/Source/platform/Timer.h |
diff --git a/third_party/WebKit/Source/platform/Timer.h b/third_party/WebKit/Source/platform/Timer.h |
index 33d5af85e7ea1d4081a6b65ef5f104a816f95f6c..cb5947335b01cc35689c73c4c7318d3039258837 100644 |
--- a/third_party/WebKit/Source/platform/Timer.h |
+++ b/third_party/WebKit/Source/platform/Timer.h |
@@ -62,7 +62,7 @@ class PLATFORM_EXPORT TimerBase { |
// Timer cancellation is fast enough that you shouldn't have to worry |
// about it unless you're canceling tens of thousands of tasks. |
- void stop(); |
+ virtual void stop(); |
bool isActive() const; |
const WebTraceLocation& location() const { return m_location; } |