diff options
| author | Vincent Laporte | 2019-05-06 17:38:39 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-05-10 16:06:11 +0000 |
| commit | 4c642b5c27d4f9c355044cb585a645b50dd844f2 (patch) | |
| tree | bc1b90d641d18e0c1d1db4045e379de196d2c11f /kernel/type_errors.ml | |
| parent | 6e0467e746e40c10bdc110e8d21e26846219d510 (diff) | |
[User manual] Fix two warnings related to canonical structures
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions