diff options
| author | Martin Odersky <odersky@gmail.com> | 2017-03-22 11:24:03 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2017-04-11 09:33:10 +0200 |
| commit | 88171be0c4aeb7e9ea0f858929a26160badf688c (patch) | |
| tree | 5c806823edd384adfa9c781de9af6a9c211bdc6a | |
| parent | ccba1b7762cc54c01ad8e5f949b8c6b1674122e0 (diff) | |
| download | dotty-88171be0c4aeb7e9ea0f858929a26160badf688c.tar.gz dotty-88171be0c4aeb7e9ea0f858929a26160badf688c.tar.bz2 dotty-88171be0c4aeb7e9ea0f858929a26160badf688c.zip | |
Unmangle class names in ClassfileParser
| -rw-r--r-- | compiler/src/dotty/tools/dotc/core/classfile/ClassfileParser.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/src/dotty/tools/dotc/core/classfile/ClassfileParser.scala b/compiler/src/dotty/tools/dotc/core/classfile/ClassfileParser.scala index da875c906..1e419a72b 100644 --- a/compiler/src/dotty/tools/dotc/core/classfile/ClassfileParser.scala +++ b/compiler/src/dotty/tools/dotc/core/classfile/ClassfileParser.scala @@ -931,7 +931,7 @@ class ClassfileParser( errorBadIndex(index) if (internalized(index) == null) - internalized(index) = getName(index).replace('/', '.') + internalized(index) = getName(index).replace('/', '.').unmangleClassName internalized(index) } |