* lang/Translator.java (rewrite): If a SourceName annotation, require exact match.

1 files changed, 2 insertions, 3 deletions

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;