diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-09-06 13:04:08 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-10-02 16:11:21 +0200 |
| commit | bd0660ef100ee1a41bd56267d9e95c9e6dd74d5e (patch) | |
| tree | e3c32ce142fa41280ea8bee54e4e8d063b3531c7 /src/dotty/tools/dotc/core/Decorators.scala | |
| parent | d96cb84c35bfe47718850c1b8db435e67d512a0e (diff) | |
| download | dotty-bd0660ef100ee1a41bd56267d9e95c9e6dd74d5e.tar.gz dotty-bd0660ef100ee1a41bd56267d9e95c9e6dd74d5e.tar.bz2 dotty-bd0660ef100ee1a41bd56267d9e95c9e6dd74d5e.zip | |
Juggling with close in RefinedPrinter
Because of different close seqences before and after pickling
we could get spurious differences, where in one file things were
put on one line, and in the pther there was a linebreak.
Diffstat (limited to 'src/dotty/tools/dotc/core/Decorators.scala')
0 files changed, 0 insertions, 0 deletions