diff options
| author | Matthieu Sozeau | 2017-07-26 17:21:34 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2017-07-26 17:21:34 +0200 |
| commit | 6849cac7fe278c5b4238970160f754505f42773a (patch) | |
| tree | 16c0d277b0220a5a474fb5331a9fac49ef7dcd1c /kernel/nativelambda.ml | |
| parent | bd1a0abf49fe67e7f02dc562d4b81d27ed6f606c (diff) | |
kernel: bugfix in filter_stack_domain.
It did not consider that the argument might be higher-order, e.g. [nat -> I].
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions