diff options
| author | Gaetan Gilbert | 2017-04-21 19:36:45 +0200 |
|---|---|---|
| committer | Gaetan Gilbert | 2017-04-27 21:33:39 +0200 |
| commit | 2826683746569b9d78aa01e319315ab554e1619b (patch) | |
| tree | da0933c7169635d9e35003af4d40b0408e7de96d /pretyping/typeclasses_errors.ml | |
| parent | 8a3cd2fe699540f1ae5a56917d0f6b951f81d731 (diff) | |
Fix omitted labels in function calls
Diffstat (limited to 'pretyping/typeclasses_errors.ml')
0 files changed, 0 insertions, 0 deletions