From 6e4e376c918b04c1fbd44a4f7e2e3f12871863ee Mon Sep 17 00:00:00 2001
From: Sebastian Serth <Sebastian.Serth@hpi.de>
Date: Wed, 24 Apr 2024 14:47:53 +0200
Subject: [PATCH] Fix missing linter results caused by incorrect JS loop

Fixes CODEOCEAN-FRONTEND-69
---
 app/assets/javascripts/editor/editor.js.erb | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

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(`<u>${severity}:</u>`);
                     $(li).append(text);