diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2014-12-22 23:21:40 +0100 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2014-12-22 23:21:40 +0100 |
commit | 76da4764db903c503ac339584db667aa50748179 (patch) | |
tree | 1c7f35e8ee0804aaf08679daac8ad2ef9f3b8b09 /.travis.yml | |
parent | 1eef0f8d079e40cf9eac76e70399908d75dc11bc (diff) |
Do not collapse wrongly applied selectors for non-well-founded codatatypes pre-model.
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions