diff options
Diffstat (limited to 'devtools/bootstrap.js')
| -rw-r--r-- | devtools/bootstrap.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devtools/bootstrap.js b/devtools/bootstrap.js index bedca0c785..3c154fef4c 100644 --- a/devtools/bootstrap.js +++ b/devtools/bootstrap.js @@ -187,7 +187,7 @@ function reload(event) { // HUDService is going to close it on unload. // Instead we have to manually toggle it. if (reopenBrowserConsole) { - let HUDService = devtools.require("devtools/client/webconsole/hudservice"); + let {HUDService} = devtools.require("devtools/client/webconsole/hudservice"); HUDService.toggleBrowserConsole(); } |