diff options
| author | Martin Odersky <odersky@gmail.com> | 2017-02-15 14:41:24 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2017-02-15 14:41:24 +0100 |
| commit | 506d17c7652e5dbb94631e9537b0e76ac53dee96 (patch) | |
| tree | e061a2623f5c1f7873aec3c333f07ccfb902f2bb /tests/neg | |
| parent | aa561a034cb9205d05737a602dc2268ec798fa53 (diff) | |
| download | dotty-506d17c7652e5dbb94631e9537b0e76ac53dee96.tar.gz dotty-506d17c7652e5dbb94631e9537b0e76ac53dee96.tar.bz2 dotty-506d17c7652e5dbb94631e9537b0e76ac53dee96.zip | |
Unrelated cleanup: Make SearchResult sealed.
Diffstat (limited to 'tests/neg')
0 files changed, 0 insertions, 0 deletions