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