diff --git a/app/assets/javascripts/editor/editor.js.erb b/app/assets/javascripts/editor/editor.js.erb index 5af110dc..0a24c12d 100644 --- a/app/assets/javascripts/editor/editor.js.erb +++ b/app/assets/javascripts/editor/editor.js.erb @@ -572,9 +572,7 @@ var CodeOceanEditor = { return map; }, {}); - for (const severity of severity_groups) { - const linter_results = severity_groups[severity] - + for (const [severity, linter_results] of Object.entries(severity_groups)) { const li = document.createElement("li"); const text = $.parseHTML(`${severity}:`); $(li).append(text);