diff options
| author | Matthieu Sozeau | 2015-04-09 17:32:36 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-04-09 17:32:36 +0200 |
| commit | f973052543cdd0f4c98366a7c2eefabeaf138afa (patch) | |
| tree | 73b8d12ea1b9eb82af552ca89715a2bd939a63db /plugins | |
| parent | b322c6131ab45be2d65ab2f6fcbcde7588314260 (diff) | |
Really fix constr_of_pattern and bugs #3590 and #4120 by
removing all evars appearing in the constr (or their types,
recursively) from the evar_map.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions