diff options
| author | Pierre-Marie Pédrot | 2021-01-11 12:48:23 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2021-01-12 13:20:29 +0100 |
| commit | 4c67572a623e0caf24839e9e6af76bdc6bdf1ac0 (patch) | |
| tree | b75e3b998a4dd7d6eb31856f406ef82aec1e2c6b /kernel/cClosure.ml | |
| parent | b721752d10969dc70eb21ddad9d794042ea34c59 (diff) | |
Restore the corner-case behaviour for let-bound variables in patterns.
Diffstat (limited to 'kernel/cClosure.ml')
0 files changed, 0 insertions, 0 deletions