diff options
| author | Hugo Herbelin | 2015-02-25 07:40:11 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-02-25 08:21:03 +0100 |
| commit | 1303e5683cb26f9dd8ed385df08d6a68b6b28fdc (patch) | |
| tree | c6351e500e2e34a36019eb5dd8709701293492eb /kernel | |
| parent | 5a7a90e6fc067319e66c8021e696df98883223f0 (diff) | |
Optimizing noccur_evar wrt expansion of let-ins (fix for variant of #4076).
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions