diff options
| author | Pierre-Marie Pédrot | 2019-04-15 11:20:41 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-04-15 11:20:41 +0200 |
| commit | 6d92ac48719a7abdcf33721c78f2c69101db5bf8 (patch) | |
| tree | 789daed58959d9351f9fef7d75f404b109b8c7b9 /pretyping/patternops.ml | |
| parent | e687ffed9adcd6b49613345c9e6be3d87ca93733 (diff) | |
| parent | 1ddfac4319f1b9038cd4aeccd12bf7bd0ad17adf (diff) | |
Merge PR #9959: [native compiler] Remove `Lconstruct` from lambda code.
Ack-by: maximedenes
Reviewed-by: ppedrot
Diffstat (limited to 'pretyping/patternops.ml')
0 files changed, 0 insertions, 0 deletions