diff options
| author |  Matthieu Sozeau <mattam@mattam.org> | 2016-05-28 17:12:06 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@mattam.org> | 2016-06-16 18:21:08 +0200 |
| commit | 6876a3cd9dd1d7c94f9d387904c6a6f6d88c31f8 (patch) | |
| tree | 0049015fabfc1f157fe6ff02925067a701eaeffb /tactics/class_tactics.mli | |
| parent | 855143c550cad6694f77a782d1056b07f8197bd3 (diff) | |
eauto: fix test-suite file
Now that typeclasses eauto uses the new eauto.
Diffstat (limited to 'tactics/class_tactics.mli')
0 files changed, 0 insertions, 0 deletions