diff options
| author | Hugo Herbelin | 2015-11-22 17:17:49 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-11-22 21:17:25 +0100 |
| commit | af954522789043202d9c300a0bb37cbaf4958d60 (patch) | |
| tree | 7c8cfb9615c82ee3a78ff7f0f2e911dac4004f24 /kernel/nativelambda.mli | |
| parent | e583a79b5a0298fd08f34305cc876d5117913e95 (diff) | |
Fixing a bug of adjust_subst_to_rel_context.
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions