diff --git a/src/parser/ligodity/Parser.mly b/src/parser/ligodity/Parser.mly index b21f4f1ec..b453e6fae 100644 --- a/src/parser/ligodity/Parser.mly +++ b/src/parser/ligodity/Parser.mly @@ -186,6 +186,11 @@ list_of(item): terminator; closing = RBracket $3} } +| lbracket rbracket { + {opening = LBracket $1; + elements = None; + terminator = None; + closing = RBracket $2} } (* Main *)