Index: Source/web/WebDevToolsAgentImpl.h |
diff --git a/Source/web/WebDevToolsAgentImpl.h b/Source/web/WebDevToolsAgentImpl.h |
index afa0b9f3412946bb74ed9ec8bcb1236f6263e3cb..199f8e0afedfcb09ba9003c87ea3c3bfefe2f579 100644 |
--- a/Source/web/WebDevToolsAgentImpl.h |
+++ b/Source/web/WebDevToolsAgentImpl.h |
@@ -136,6 +136,13 @@ private: |
OwnPtr<DeviceMetricsSupport> m_metricsSupport; |
}; |
+inline WebDevToolsAgentImpl* toWebDevToolsAgentImpl(WebDevToolsAgent* agent) |
+{ |
+ // WebDevToolsAgentImpl is the only implementation of WebDevToolsAgent, so |
+ // no further checking required. |
+ return static_cast<WebDevToolsAgentImpl*>(agent); |
+} |
+ |
} // namespace WebKit |
#endif |