diff options
| author | paltherr <paltherr@epfl.ch> | 2003-10-02 12:32:39 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2003-10-02 12:32:39 +0000 |
| commit | d08dff3b18972a0004fba6aca726d2b70a9dc235 (patch) | |
| tree | 123910052ecbabaa74ab989260285a293dc468e6 /sources | |
| parent | f1182273dd9661485c26733bde8622863cdce282 (diff) | |
| download | scala-d08dff3b18972a0004fba6aca726d2b70a9dc235.tar.gz scala-d08dff3b18972a0004fba6aca726d2b70a9dc235.tar.bz2 scala-d08dff3b18972a0004fba6aca726d2b70a9dc235.zip | |
- Fixed call to overriddenSymbol
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)); |