Improved handling of an edge case around the fallback resolver.

usethesource · Dec 16, 2024 · 9e1edde · 9e1edde
1 parent aea1af5
commit 9e1edde
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/org/rascalmpl/uri/URIResolverRegistry.java b/src/org/rascalmpl/uri/URIResolverRegistry.java
@@ -406,7 +406,7 @@ private ISourceLocation physicalLocation(ISourceLocation loc) throws IOException
 			loc = original;
 		}
 		if (fallbackLogicalResolver != null) {
-			var fallbackResult = resolveAndFixOffsets(loc == null ? original : loc, fallbackLogicalResolver, Collections.emptyList());
+			var fallbackResult = resolveAndFixOffsets(loc, fallbackLogicalResolver, Collections.emptyList());
 			return fallbackResult == null ? loc : fallbackResult;
 		}
 		return loc;