diff options
Diffstat (limited to 'parsing/parsetree.mli')
| -rw-r--r-- | parsing/parsetree.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/parsing/parsetree.mli b/parsing/parsetree.mli index 5922a2a628..3778ad75e0 100644 --- a/parsing/parsetree.mli +++ b/parsing/parsetree.mli @@ -117,7 +117,6 @@ and expression_desc = | Pexp_object of class_structure | Pexp_newtype of string * expression | Pexp_pack of module_expr * package_type - | Pexp_unpack of expression * string * package_type * expression (* Value descriptions *) |