diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2016-01-23 22:45:24 +0100 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2016-01-23 22:45:24 +0100 |
commit | e9105c96253ae62cecb63e39764583f826876159 (patch) | |
tree | 10a1adc591d6cddd22adc03dfd36995ee6c49fea /src/dotty/tools/dotc/transform/PatternMatcher.scala | |
parent | 8ceaba796346d40a1be156d38b02de91854634cd (diff) | |
parent | eb1197c87b212bd3b776ce9e24f550e80888e5e4 (diff) | |
download | dotty-e9105c96253ae62cecb63e39764583f826876159.tar.gz dotty-e9105c96253ae62cecb63e39764583f826876159.tar.bz2 dotty-e9105c96253ae62cecb63e39764583f826876159.zip |
Merge pull request #1039 from dotty-staging/fix-#998
Fix #998
Diffstat (limited to 'src/dotty/tools/dotc/transform/PatternMatcher.scala')
0 files changed, 0 insertions, 0 deletions