diff options
| author | Jason Gross | 2017-06-22 21:07:32 -0400 |
|---|---|---|
| committer | Jason Gross | 2017-06-22 21:08:26 -0400 |
| commit | d4a0e0bcc7689457340af5a3007a541b92e12301 (patch) | |
| tree | 9c735aca40824eb67abded800943220a057f5c02 /pretyping/typeclasses_errors.ml | |
| parent | ee8385ef39292fd03bdbae3a7a73726d9fb65e99 (diff) | |
Add test-suite file for funind, extraction with compat 8.6
Diffstat (limited to 'pretyping/typeclasses_errors.ml')
0 files changed, 0 insertions, 0 deletions