diff options
| author | Cyprien Mangin | 2015-06-29 14:11:06 +0200 |
|---|---|---|
| committer | Cyprien Mangin | 2016-06-14 06:21:30 +0200 |
| commit | 1e19f163b8c7a21d63165784828f4d733aa95171 (patch) | |
| tree | 43e543943c7e1e0465064c39e6331f5b4bcf16a0 /kernel/type_errors.ml | |
| parent | 591b3c37c980a092f0d2abadd8bdf23de3a38bcb (diff) | |
Fix a typo in proofs/proofview.mli.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions