Index: chrome/browser/prerender/prerender_link_manager.h |
diff --git a/chrome/browser/prerender/prerender_link_manager.h b/chrome/browser/prerender/prerender_link_manager.h |
index a881485cc038f0d546841bd955dffd5b78633a36..a914cfc3384e323357ab1f7c3127d6f24a4b7f39 100644 |
--- a/chrome/browser/prerender/prerender_link_manager.h |
+++ b/chrome/browser/prerender/prerender_link_manager.h |
@@ -113,6 +113,8 @@ class PrerenderLinkManager : public ProfileKeyedService, |
// From PrerenderHandle::Observer: |
virtual void OnPrerenderStart(PrerenderHandle* prerender_handle) OVERRIDE; |
+ virtual void OnPrerenderStopLoading(PrerenderHandle* prerender_handle) |
+ OVERRIDE; |
virtual void OnPrerenderStop(PrerenderHandle* prerender_handle) OVERRIDE; |
virtual void OnPrerenderAddAlias(PrerenderHandle* prerender_handle, |
const GURL& alias_url) OVERRIDE; |