diff options
Diffstat (limited to 'typing/typedtree.mli')
| -rw-r--r-- | typing/typedtree.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/typing/typedtree.mli b/typing/typedtree.mli index b7feee4c2c..a7ea525d98 100644 --- a/typing/typedtree.mli +++ b/typing/typedtree.mli @@ -79,7 +79,6 @@ and expression_desc = | Texp_lazy of expression | Texp_object of class_structure * class_signature * string list | Texp_pack of module_expr - | Texp_unpack of expression * Ident.t * expression and meth = Tmeth_name of string |