Index: third_party/WebKit/Source/core/fetch/Resource.h |
diff --git a/third_party/WebKit/Source/core/fetch/Resource.h b/third_party/WebKit/Source/core/fetch/Resource.h |
index 2d133bf7542dc0a641a664622026ce74a13b8157..35e2f003e65d92010b6738bfba3d47434b7cce94 100644 |
--- a/third_party/WebKit/Source/core/fetch/Resource.h |
+++ b/third_party/WebKit/Source/core/fetch/Resource.h |
@@ -117,7 +117,7 @@ public: |
const ResourceRequest& resourceRequest() const { return m_resourceRequest; } |
const ResourceRequest& lastResourceRequest() const; |
- void setRevalidatingRequest(const ResourceRequest&); |
+ virtual void setRevalidatingRequest(const ResourceRequest&); |
// This url can have a fragment, but it can match resources that differ by the fragment only. |
const KURL& url() const { return m_resourceRequest.url();} |