Index: ios/web/public/web_state/web_state.h |
diff --git a/ios/web/public/web_state/web_state.h b/ios/web/public/web_state/web_state.h |
index 96591ea3d58ebc7cb7f72414c33b3f231fd2e01c..5d0ab68465c8d2fa2b77ee718d32353969210b25 100644 |
--- a/ios/web/public/web_state/web_state.h |
+++ b/ios/web/public/web_state/web_state.h |
@@ -124,6 +124,7 @@ class WebState : public base::SupportsUserData { |
// Gets the NavigationManager associated with this WebState. Can never return |
// null. |
+ virtual const NavigationManager* GetNavigationManager() const = 0; |
virtual NavigationManager* GetNavigationManager() = 0; |
// Gets the CRWJSInjectionReceiver associated with this WebState. |