diff options
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 |