| Index: ios/shared/chrome/browser/tabs/web_state_list_observer.h | 
| diff --git a/ios/shared/chrome/browser/tabs/web_state_list_observer.h b/ios/shared/chrome/browser/tabs/web_state_list_observer.h | 
| index 6c2e85f3aa1c9af5dfeddeb26e41720f8f2fdb81..bbe3c4005a8f84f5715854397047c95938dd9c98 100644 | 
| --- a/ios/shared/chrome/browser/tabs/web_state_list_observer.h | 
| +++ b/ios/shared/chrome/browser/tabs/web_state_list_observer.h | 
| @@ -16,34 +16,34 @@ class WebState; | 
| // Interface for listening to events occurring to WebStateLists. | 
| class WebStateListObserver { | 
| public: | 
| -  WebStateListObserver() = default; | 
| -  virtual ~WebStateListObserver() = default; | 
| +  WebStateListObserver(); | 
| +  virtual ~WebStateListObserver(); | 
|  | 
| // Invoked after a new WebState has been added to the WebStateList at the | 
| // specified index. | 
| virtual void WebStateInsertedAt(WebStateList* web_state_list, | 
| web::WebState* web_state, | 
| -                                  int index) = 0; | 
| +                                  int index); | 
|  | 
| // Invoked after the WebState at the specified index is moved to another | 
| // index. | 
| virtual void WebStateMoved(WebStateList* web_state_list, | 
| web::WebState* web_state, | 
| int from_index, | 
| -                             int to_index) = 0; | 
| +                             int to_index); | 
|  | 
| // Invoked after the WebState at the specified index is replaced by another | 
| // WebState. | 
| virtual void WebStateReplacedAt(WebStateList* web_state_list, | 
| web::WebState* old_web_state, | 
| web::WebState* new_web_state, | 
| -                                  int index) = 0; | 
| +                                  int index); | 
|  | 
| // Invoked after the WebState at the specified index has been detached. The | 
| // WebState is still valid but is no longer in the WebStateList. | 
| virtual void WebStateDetachedAt(WebStateList* web_state_list, | 
| web::WebState* web_state, | 
| -                                  int index) = 0; | 
| +                                  int index); | 
|  | 
| private: | 
| DISALLOW_COPY_AND_ASSIGN(WebStateListObserver); | 
|  |