Index: content/renderer/devtools_agent_filter.cc |
=================================================================== |
--- content/renderer/devtools_agent_filter.cc (revision 112786) |
+++ content/renderer/devtools_agent_filter.cc (working copy) |
@@ -10,7 +10,7 @@ |
#include "content/renderer/devtools_agent.h" |
#include "content/renderer/plugin_channel_host.h" |
#include "third_party/WebKit/Source/WebKit/chromium/public/WebDevToolsAgent.h" |
-#include "third_party/WebKit/Source/WebKit/chromium/public/WebString.h" |
+#include "third_party/WebKit/Source/WebKit/chromium/public/platform/WebString.h" |
using WebKit::WebDevToolsAgent; |
using WebKit::WebString; |