diff options
| author | Hugo Herbelin | 2015-01-24 20:41:13 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-01-24 21:48:44 +0100 |
| commit | 982b583efe9f657d76b4257200769fed55453623 (patch) | |
| tree | f225282ac8a6c38dac72ae452d5139511d624aea /pretyping/typeclasses_errors.ml | |
| parent | ef61bb05911d19c77d565d78dc57107d40c333e4 (diff) | |
Equality Schemes options: reverting commit ff9f94634 which is
obviously inconsistent with the decisions taken in commits
2e8fb20e04da and 0bc569026048 about bugs #2550 and #3606.
Now having options Boolean Equality Schemes and Decidable Equality Schemes.
Diffstat (limited to 'pretyping/typeclasses_errors.ml')
0 files changed, 0 insertions, 0 deletions