diff --git a/kawa/lang/Translator.java b/kawa/lang/Translator.java index d01e83618..745b23d78 100644 --- a/kawa/lang/Translator.java +++ b/kawa/lang/Translator.java @@ -877,9 +877,8 @@ public class Translator extends Compilation } else { gnu.expr.SourceName snameAnn = part.getAnnotation(gnu.expr.SourceName.class); - String pname = snameAnn == null ? part.getName() - : snameAnn.name(); - if (! dname.equals(pname)) + // If SourceName annotation, require exact match. + if (snameAnn != null && ! dname.equals(snameAnn.name())) continue; } Expression part1;