diff options
| author | Jasper Hugunin | 2020-12-15 17:40:23 -0800 |
|---|---|---|
| committer | Jasper Hugunin | 2020-12-15 17:40:23 -0800 |
| commit | 03ebf8633afb5dce97b957b2b5928f0ecac8f804 (patch) | |
| tree | 481899b0197472ac4c0f9a7ab566f85228c7e2d3 /kernel/type_errors.mli | |
| parent | 71031ef2a7032bccb55cc0e6035900c5b843583c (diff) | |
Catch up to where I was last time.
Many of the changes are a consequence of coq/coq#13132.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions