Index: Source/devtools/front_end/profiler/ProfilesPanel.js |
diff --git a/Source/devtools/front_end/profiler/ProfilesPanel.js b/Source/devtools/front_end/profiler/ProfilesPanel.js |
index 482e88b2159747ec139980552a2fb9705dfa3d7c..7417cf356deb784cc6303f3f4ac5bc790b46b0c8 100644 |
--- a/Source/devtools/front_end/profiler/ProfilesPanel.js |
+++ b/Source/devtools/front_end/profiler/ProfilesPanel.js |
@@ -795,7 +795,7 @@ WebInspector.ProfilesPanel.prototype = { |
{ |
var profileType = profile.profileType(); |
var typeId = profileType.id; |
- this._typeIdToSidebarSection[typeId].addProfileHeader(profile);; |
+ this._typeIdToSidebarSection[typeId].addProfileHeader(profile); |
if (!this.visibleView || this.visibleView === this._launcherView) |
this.showProfile(profile); |
}, |