diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-01-23 10:32:08 +0100 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-01-23 10:44:09 +0100 |
| commit | a6f687852c0c7509a06fdf16c0af29129b3566d5 (patch) | |
| tree | b1d45f2dc660fbcd619b6ee772e120b4e0cd7f55 /kernel/safe_typing.ml | |
| parent | 65816f94ba427edf8999bf42633d0aad064e8ce4 (diff) | |
Fixing unification regression #5323.
Tracking conversion problems to reconsider was lost for evars subject
to restriction (field last_mods was not updated and conversion
problems not considered to be changed).
Diffstat (limited to 'kernel/safe_typing.ml')
0 files changed, 0 insertions, 0 deletions