diff options
| author | Matthieu Sozeau | 2016-06-28 10:27:03 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2016-06-28 11:02:39 +0200 |
| commit | eb72574e1b526827706ee06206eb4a9626af3236 (patch) | |
| tree | bd57a11aa779c396b2eceb28a5764cf3bc5243af /plugins/syntax/string_syntax.ml | |
| parent | 16a6be0332bf3bea4a87ee5eec874cbf444174c3 (diff) | |
Typeclasses: use once in by clause for typeclass eauto
Otherwise we may backtrack on the resolution in a
by which seems strange.
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions