diff options
| author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-04-30 14:50:03 +0200 |
|---|---|---|
| committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-04-30 14:50:03 +0200 |
| commit | c4b61af8b20dd9f763ffa34e27625e3ffd966f5c (patch) | |
| tree | f68e4d39d6f1cddc2a2773ae63d5ca219fdf8287 /src/dotty/tools/dotc/core/pickling/PositionPickler.scala | |
| parent | 3b4c230d6a9fe9dd926b369831fbd6f3a8fa749a (diff) | |
| download | dotty-c4b61af8b20dd9f763ffa34e27625e3ffd966f5c.tar.gz dotty-c4b61af8b20dd9f763ffa34e27625e3ffd966f5c.tar.bz2 dotty-c4b61af8b20dd9f763ffa34e27625e3ffd966f5c.zip | |
DottyBackendInterface: interface members cannot be final
Diffstat (limited to 'src/dotty/tools/dotc/core/pickling/PositionPickler.scala')
0 files changed, 0 insertions, 0 deletions