| Index: chrome/browser/ui/webui/devtools_ui.h
|
| diff --git a/chrome/browser/ui/webui/devtools_ui.h b/chrome/browser/ui/webui/devtools_ui.h
|
| index a903a9b28bb15284b76927c431fd49a9c0620401..9503c34211a476e174f9df5dc80949cec4474179 100644
|
| --- a/chrome/browser/ui/webui/devtools_ui.h
|
| +++ b/chrome/browser/ui/webui/devtools_ui.h
|
| @@ -24,7 +24,7 @@ class DevToolsUI : public content::WebUIController,
|
|
|
| // content::WebContentsObserver overrides.
|
| virtual void NavigationEntryCommitted(
|
| - const content::LoadCommittedDetails& load_details) OVERRIDE;
|
| + const content::LoadCommittedDetails& load_details) override;
|
|
|
| private:
|
| void RemotePageOpened(const GURL& virtual_url,
|
|
|