diff --git a/functions.js b/functions.js index b3fc8876a..59ff28efb 100644 --- a/functions.js +++ b/functions.js @@ -46,12 +46,12 @@ function exception_error(location, e, ext_info) { if (ext_info) { ebc.innerHTML += "