diff options
Diffstat (limited to 'src/parse_ast.ml')
| -rw-r--r-- | src/parse_ast.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/parse_ast.ml b/src/parse_ast.ml index c31d548c..2848edc0 100644 --- a/src/parse_ast.ml +++ b/src/parse_ast.ml @@ -440,6 +440,7 @@ type mpat_aux = (* Mapping pattern. Mostly the same as normal patterns but only | MP_cons of ( mpat) * ( mpat) | MP_string_append of mpat list | MP_typ of mpat * atyp + | MP_as of mpat * id and mpat = | MP_aux of ( mpat_aux) * l |