diff options
| author | Matthieu Sozeau | 2015-10-16 16:41:58 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-10-16 16:41:58 +0200 |
| commit | 5f9a9641c72b35650f62df43beb6f43f9f3a72e5 (patch) | |
| tree | 36190012991975720bf72a1b880d0b1c809c40d3 /kernel/type_errors.ml | |
| parent | d1ce79ce293c9b77f2c6a9d0b9a8b4f84ea617e5 (diff) | |
Generalize fix for auto from PMP to eauto and typeclasses eauto.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions