diff options
Diffstat (limited to 'parsing/parser.mly')
| -rw-r--r-- | parsing/parser.mly | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/parsing/parser.mly b/parsing/parser.mly index 863259eb8..d069f2158 100644 --- a/parsing/parser.mly +++ b/parsing/parser.mly @@ -1309,8 +1309,7 @@ operator: ; constr_ident: UIDENT { $1 } -/* useless, and conflicts with variants - | LBRACKET RBRACKET { "[]" } */ + | LBRACKET RBRACKET { "[]" } | LPAREN RPAREN { "()" } | COLONCOLON { "::" } | FALSE { "false" } |