diff options
| author | Hugo Herbelin | 2015-07-16 09:32:36 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2015-07-16 09:40:08 +0200 |
| commit | 93579407f5795c117d6c6f1399396b690f80d723 (patch) | |
| tree | 701aad6c0994ae5e533d86847b67e8ea827abf30 /kernel/mod_typing.ml | |
| parent | c57c7edbe517851c7309112f6eb5d8297f03e000 (diff) | |
Fixing anomaly #3743 while printing an error message involving evar constraints.
Indeed, the name of a bound variable was lost when unifying under a Prod in
evarconv.
The error message for "Unable to satisfy the following constraints" is
still to be improved though.
Diffstat (limited to 'kernel/mod_typing.ml')
0 files changed, 0 insertions, 0 deletions