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