fixes #240

usethesource · Mar 23, 2023 · 000a051 · 000a051
1 parent c86b7ae
commit 000a051
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/rascal-lsp/src/main/java/org/rascalmpl/vscode/lsp/util/Diagnostics.java b/rascal-lsp/src/main/java/org/rascalmpl/vscode/lsp/util/Diagnostics.java
@@ -139,7 +139,7 @@ public static Map<ISourceLocation, List<Diagnostic>> translateMessages(IList mes
 
         for (IValue elem : messages) {
             IConstructor message = (IConstructor) elem;
-            ISourceLocation file = getMessageLocation(message);
+            ISourceLocation file = getMessageLocation(message).top();
             Diagnostic d = translateDiagnostic(message, docService.getColumnMap(file));
 
             List<Diagnostic> lst = results.get(file);