diff options
Diffstat (limited to 'parsing/parser.mly')
| -rw-r--r-- | parsing/parser.mly | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/parser.mly b/parsing/parser.mly index 7ac680432..885a581d4 100644 --- a/parsing/parser.mly +++ b/parsing/parser.mly @@ -1601,7 +1601,7 @@ package_type: | mty_longident WITH package_type_cstrs { ($1, $3) } ; package_type_cstr: - TYPE LIDENT EQUAL core_type { ($2, $4) } + TYPE label_longident EQUAL core_type { ($2, $4) } ; package_type_cstrs: package_type_cstr { [$1] } |