diff options
| author | Matthieu Sozeau | 2016-11-06 11:22:31 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2016-11-06 11:43:50 +0100 |
| commit | ceaafcde70e0ba536cae03baa740563aff47f6e8 (patch) | |
| tree | dc3bbb34b1bc45eeec40693994c2c7aa7bc25bf1 /kernel/type_errors.ml | |
| parent | 25fc9919c6d86fa8119b1f0c8e5ddba156055c9d (diff) | |
Maxime's comments
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions