diff options
| author | Hugo Herbelin | 2016-01-12 22:12:40 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2016-01-12 22:17:45 +0100 |
| commit | 9f8ae1aa2678944888d80ce0867bfb2bba0c8c71 (patch) | |
| tree | fc01eae01222a4cc45d5d6892a72cfb437c8bd0f /kernel | |
| parent | be4bfc78c493464cb0af40d7fae08ba86295a6f9 (diff) | |
Fixing #4467 (missing shadowing of variables in cases pattern).
This fixes a TODO in map_constr_expr_with_binders, a bug in
is_constructor, as well as a bug and TODOS in ids_of_cases_indtype.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions