diff options
| author | Théo Zimmermann | 2019-10-30 17:08:51 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-10-30 17:19:57 +0100 |
| commit | 5d1f7461f74f727d0394e904c3ee820134b22c64 (patch) | |
| tree | f6994531881fce585e6915e23498e194aadc5ad4 /kernel/nativelambda.ml | |
| parent | 201f31d3cdb1cd30646a622ec4b46d7cbcb24e20 (diff) | |
Use explicit match as suggested by Clément.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions