Index: chrome/browser/prerender/prerender_manager.cc |
diff --git a/chrome/browser/prerender/prerender_manager.cc b/chrome/browser/prerender/prerender_manager.cc |
index 363e9360679cff5c21296fbeaaa4e9dd0eeab67e..918a2e1eb690b101ddf6f4f7c41f0e29a6c956d3 100644 |
--- a/chrome/browser/prerender/prerender_manager.cc |
+++ b/chrome/browser/prerender/prerender_manager.cc |
@@ -1203,15 +1203,10 @@ void PrerenderManager::RecordFinalStatusWithoutCreatingPrerenderContents( |
void PrerenderManager::Observe(int type, |
const content::NotificationSource& source, |
const content::NotificationDetails& details) { |
- switch (type) { |
- case chrome::NOTIFICATION_PROFILE_DESTROYED: |
- DestroyAllContents(FINAL_STATUS_PROFILE_DESTROYED); |
- on_close_web_contents_deleters_.clear(); |
- break; |
- default: |
- NOTREACHED() << "Unexpected notification sent."; |
- break; |
- } |
+ DCHECK_EQ(chrome::NOTIFICATION_PROFILE_DESTROYED, type); |
+ |
+ DestroyAllContents(FINAL_STATUS_PROFILE_DESTROYED); |
+ on_close_web_contents_deleters_.clear(); |
} |
void PrerenderManager::OnCreatingAudioStream(int render_process_id, |