Index: chrome/browser/devtools/devtools_window.cc |
diff --git a/chrome/browser/devtools/devtools_window.cc b/chrome/browser/devtools/devtools_window.cc |
index 9740c733ff4c80a449476b34fbecc2257e58cf59..cb5125b68d58fcb1e78a491d750d667a59e94c60 100644 |
--- a/chrome/browser/devtools/devtools_window.cc |
+++ b/chrome/browser/devtools/devtools_window.cc |
@@ -1472,10 +1472,10 @@ void DevToolsWindow::AddDevToolsExtensionsToClient() { |
profile->GetOriginalProfile())->extension_service(); |
if (!extension_service) |
return; |
- const ExtensionSet* extensions = extension_service->extensions(); |
+ const extensions::ExtensionSet* extensions = extension_service->extensions(); |
ListValue results; |
- for (ExtensionSet::const_iterator extension(extensions->begin()); |
+ for (extensions::ExtensionSet::const_iterator extension(extensions->begin()); |
extension != extensions->end(); ++extension) { |
if (extensions::ManifestURL::GetDevToolsPage(extension->get()).is_empty()) |
continue; |