| 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);
|
| },
|
|
|