diff options
| author | Matthieu Sozeau | 2015-04-09 07:36:02 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-04-09 07:37:19 +0200 |
| commit | 400d3dcca26bba32d6e170ef36468e6c5425a2ed (patch) | |
| tree | 41aa9e763bc2bd08599490e9783518318c0796b2 /kernel/nativelambda.mli | |
| parent | 19ca8f80e7e35e8f6c41c99bd311b3c7df2033e2 (diff) | |
Fix caching of local hintdb in typeclasses eauto.
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions