diff options
| author | Matthieu Sozeau | 2016-06-15 19:00:01 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2016-06-16 18:21:08 +0200 |
| commit | b0c84990af22e52e659bd2469af95ad2f39a047e (patch) | |
| tree | b77ca1cebe3c7fc549a172d8c8a010e9d52ac151 /kernel/type_errors.ml | |
| parent | d041793ec3cad022ae54e4072f4f4b52b3cd1970 (diff) | |
Typeclasses:rename solve_instantiation* & use Hook
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions