| Index: Source/devtools/front_end/ResourceScriptMapping.js
|
| diff --git a/Source/devtools/front_end/ResourceScriptMapping.js b/Source/devtools/front_end/ResourceScriptMapping.js
|
| index 4e10328bec94b6a1a3ea998c07f45a651fad8b78..e59f7c69b04232cdf31ddfd24a0bada740e6b690 100644
|
| --- a/Source/devtools/front_end/ResourceScriptMapping.js
|
| +++ b/Source/devtools/front_end/ResourceScriptMapping.js
|
| @@ -172,7 +172,7 @@ WebInspector.ResourceScriptMapping.prototype = {
|
| for (var i = 0; i < scripts.length; ++i)
|
| scripts[i].updateLocations();
|
| uiSourceCode.setSourceMapping(this);
|
| - this._boundURLs.put(uiSourceCode.url);
|
| + this._boundURLs.add(uiSourceCode.url);
|
| },
|
|
|
| /**
|
|
|