diff options
| author | Matthieu Sozeau | 2015-03-04 00:32:58 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-03-04 00:32:58 +0100 |
| commit | 85fc5f90c52a755d1b64640f4f0b3421979c0fe8 (patch) | |
| tree | af7c16aa9db83cb81a0994dfab3364cf0d50702b /kernel/nativelambda.ml | |
| parent | c35c97e7c904f2109110c64f2ba9e45e945de381 (diff) | |
Fix bug #3532, providing universe inconsistency information when a
unification fails due to that, during a conversion step.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions