| 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;
|
|
|