diff options
author | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-09-15 12:10:57 +0200 |
---|---|---|
committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-09-15 12:16:52 +0200 |
commit | 92682297f528c3570dc8449118d2f2cd2be7cc53 (patch) | |
tree | b5e956779cea608343b5f1d5a07b9354a231a0c2 /test-suite/typeclasses | |
parent | d4edff8e7a070151da6536a9674b15993cc273b5 (diff) |
Fix bug #3610, allowing betaiotadelta reduction while unifying types of
records in unification.ml.
Diffstat (limited to 'test-suite/typeclasses')
0 files changed, 0 insertions, 0 deletions