diff options
| author | Matthieu Sozeau | 2014-12-12 12:21:28 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-12-12 12:21:28 +0100 |
| commit | 4a0cd08598ce4b88b3c1d34b3beb3687eedb94f8 (patch) | |
| tree | 77fbd2cd1f394d1424f753c340e6c6d67fa21d21 /lib/util.ml | |
| parent | dbe6df0d591bc6ac843360a3998f947d56298d4f (diff) | |
In discrimination nets, do not index lambdas if they're part of a beta
redex.
Diffstat (limited to 'lib/util.ml')
0 files changed, 0 insertions, 0 deletions