diff options
| author | Enrico Tassi | 2018-07-25 10:53:36 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2018-07-25 10:53:36 +0200 |
| commit | 9b6ce4f1848c546d0d361aa1089fa2907ca4c9ad (patch) | |
| tree | 67c7fd1c8314e37f212140773e3f58012ff18a77 /kernel/type_errors.mli | |
| parent | 0c7e72c05e3f828dcd03543000acbfbcf361ab23 (diff) | |
| parent | a39c1d311641b3276444c6e9dc83014daf525e3a (diff) | |
Merge PR #8139: Replace all the CoInductives with Variants in the SSR plugin
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions