diff options
| author | Maxime Dénès | 2017-03-24 23:45:54 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2017-03-24 23:49:45 +0100 |
| commit | 486acdd7b50d4fdc0956011b7b48dc6ba96dd4a8 (patch) | |
| tree | 658279e2d0c3cf85e47c4f4d74e2c701fab18dd7 /dev | |
| parent | af291869bb7d1184d8e655906572d75937ca829b (diff) | |
Fix interpretation of Ltac patterns episode 2.
After 5db9588098f9f, some extra evar-normalization remained (compared to trunk)
that would change the semantics e.g. of change bindings under Ltac match.
This is just circumventing a fundamental flaw in the treatment of patterns.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions