diff options
| author | Guillaume Melquiond | 2020-08-30 10:35:45 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2020-11-13 15:13:23 +0100 |
| commit | 2d3e012cce7ca41893d670196d3c90e7e315403e (patch) | |
| tree | 7e9be9def2269bfffd55c3dff1a92127c47ac47f /kernel/vmlambda.mli | |
| parent | 203211090f9e67750a0f953d6dbefe5045271921 (diff) | |
Remove unused if-then-else construct from VM.
Diffstat (limited to 'kernel/vmlambda.mli')
| -rw-r--r-- | kernel/vmlambda.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/kernel/vmlambda.mli b/kernel/vmlambda.mli index 8ae7e05f72..ad5f81638f 100644 --- a/kernel/vmlambda.mli +++ b/kernel/vmlambda.mli @@ -14,7 +14,6 @@ type lambda = | Lconst of pconstant | Lprim of pconstant * CPrimitives.t * lambda array | Lcase of case_info * reloc_table * lambda * lambda * lam_branches - | Lif of lambda * lambda * lambda | Lfix of (int array * int) * fix_decl | Lcofix of int * fix_decl | Lint of int |