diff options
| author |  Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2018-06-04 14:08:04 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2018-06-04 14:08:04 +0200 |
| commit | 1757f89b6c61024bbe3aebd6b43c56df0d92f5eb (patch) | |
| tree | 3a04f1f948df72be5d58ae992508e303128db23d /engine | |
| parent | 10e323fe4cebd1addfe1af32407f1277214d2c7b (diff) | |
| parent | 3be70f39bbaba7c7edb5e5f3e26d4f952c06824e (diff) | |
Merge PR #7552: Fix #7539: Checker does not properly handle negative coinductive types.
Diffstat (limited to 'engine')
0 files changed, 0 insertions, 0 deletions