Merge pull request #516 from usethesource/chore/fix-lint-warning

Fix ESlint warning.
usethesource · Nov 11, 2024 · 843ba70 · 843ba70
2 parents 0f5e913 + d062b01
commit 843ba70
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/rascal-vscode-extension/src/test/vscode-suite/ide.test.ts b/rascal-vscode-extension/src/test/vscode-suite/ide.test.ts
@@ -199,6 +199,6 @@ describe('IDE', function () {
         finally {
             await ide.revertOpenChanges();
         }
-    })
+    });
 });