aboutsummaryrefslogtreecommitdiff
path: root/kernel/nativelambda.ml
diff options
context:
space:
mode:
authorMatthieu Sozeau2015-03-03 22:20:30 +0100
committerMatthieu Sozeau2015-03-03 22:20:30 +0100
commitc135410086c256fcc74f579459687a83718148b9 (patch)
tree3a674c331640d4fb61c3d6eef28c15810988785a /kernel/nativelambda.ml
parent2d3916766d3f145643a994aa83174c98394d5baa (diff)
Fix test-suite file, this is currently a wontfix, but keep the
test-suite file for when we move to a better implementation.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions