diff options
author | Martin Odersky <odersky@gmail.com> | 2015-06-24 15:26:44 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-06-24 15:26:44 +0200 |
commit | 5395414a68bdcf682bbfc8de5d1c47e86fce708a (patch) | |
tree | 58b652140ce2849e4524da964ecc292148d149f2 /tests | |
parent | ffac03ab718637c414f5e23524f458b4f4e8f817 (diff) | |
download | dotty-5395414a68bdcf682bbfc8de5d1c47e86fce708a.tar.gz dotty-5395414a68bdcf682bbfc8de5d1c47e86fce708a.tar.bz2 dotty-5395414a68bdcf682bbfc8de5d1c47e86fce708a.zip |
Drop redundant adapt.
The term in a SearchSuccess has already been adapted to the expected type.
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions