diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2018-01-30 10:05:14 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-02-05 12:51:49 +0100 |
commit | 76579aff8f8534cbc990b5ea2652b33655512213 (patch) | |
tree | 9a4af0643f42d2643b487412f644a0ad3a14e47a /kernel/nativelambda.ml | |
parent | 55b2a4e0c24d691b71256c91ed54e245efce340b (diff) |
[native_compute] Remove useless conversion to list in reification.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions