diff options
| author | Gaëtan Gilbert | 2018-10-30 20:18:26 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-10-30 21:47:16 +0100 |
| commit | a492288930a3f804ad05def938dd572ccf680a66 (patch) | |
| tree | 692236fbec1dbf820fb806978516042ebe89f42b /kernel/typeops.mli | |
| parent | 25df997df4b5b6882f8bf316c5cfb8145ba5f08d (diff) | |
Fix evar leak in induction tactic.
Detected when making Typing check universe instances.
Diffstat (limited to 'kernel/typeops.mli')
0 files changed, 0 insertions, 0 deletions