diff options
| author | Matthieu Sozeau | 2015-03-03 21:45:42 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-03-03 22:15:10 +0100 |
| commit | 2d3916766d3f145643a994aa83174c98394d5baa (patch) | |
| tree | a1e687c049a1ad11484ed41507c06b55ddb959e6 /kernel | |
| parent | 2f8a153dafb144b3fbf984680b4da7bc06c357c2 (diff) | |
Fix bug #3590, keeping evars that are not turned into named metas by
pattern_of_constr in an evar_map, as they can appear in the context
of said named metas, which is used by change. Not sure what to do in
the PEvar case, which never matches anyway according to Constr_matching.matches.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions