diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-03-29 15:03:19 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-03-29 15:03:19 +0200 |
| commit | 2c7d80e8234797da38d54326b914ded7f343d062 (patch) | |
| tree | 360b81c39dcf39019f185b3038a47a0cb0f74ff0 /test-suite/bugs/closed/4165.v | |
| parent | f3ff16adced3e5bf8d11cb74ee68be1267edc2b6 (diff) | |
Fixing bug #4165.
The context matching function was dropping the surrounding context in
let-ins.
Diffstat (limited to 'test-suite/bugs/closed/4165.v')
0 files changed, 0 insertions, 0 deletions