diff options
| author | Vincent Laporte | 2018-10-16 11:21:38 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2018-10-24 09:51:53 +0000 |
| commit | e37a58ad110c13e3f6a8f4c27458e46a8ab36752 (patch) | |
| tree | 7d84c3386bc093bf32d996b24243a3bf1df4d523 /kernel/type_errors.mli | |
| parent | 5b690354c203f33be3eb33a6d905a64ab6ae4430 (diff) | |
[Coqlib] Remove redundant check
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions