diff options
Diffstat (limited to 'sources')
| -rw-r--r-- | sources/scala/tools/scalai/Environment.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sources/scala/tools/scalai/Environment.java b/sources/scala/tools/scalai/Environment.java index c5640e49d7..f9e7853378 100644 --- a/sources/scala/tools/scalai/Environment.java +++ b/sources/scala/tools/scalai/Environment.java @@ -200,7 +200,7 @@ public class Environment { Override override = Override.empty().insert(symbol); if (symbol.isExternal()) override.insert(mirror.getMethod(symbol)); for (int i = 0; i < bases.length; i++) { - Symbol overridden = symbol.overriddenSymbol(bases[i]); + Symbol overridden = symbol.overriddenSymbol(bases[i], true); if (overridden == Symbol.NONE) continue; assert Debug.log("update override: ", symbol, " <- ", overridden); override.insert(lookupOverride(overridden)); |