diff options
Diffstat (limited to 'parsing/parsetree.mli')
| -rw-r--r-- | parsing/parsetree.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/parsing/parsetree.mli b/parsing/parsetree.mli index f1cd345fa..b7f80fe9d 100644 --- a/parsing/parsetree.mli +++ b/parsing/parsetree.mli @@ -87,6 +87,8 @@ and pattern_desc = | Ppat_type of Longident.t loc | Ppat_lazy of pattern | Ppat_unpack of string loc + | Ppat_attribute of (pattern * attribute) + | Ppat_extension of extension and expression = { pexp_desc: expression_desc; |