diff --git a/src/minizinc/dzn.py b/src/minizinc/dzn.py index 778f0be..ac3981a 100644 --- a/src/minizinc/dzn.py +++ b/src/minizinc/dzn.py @@ -21,7 +21,7 @@ | string | "true" -> true | "false" -> false - list: [value ("," value)* ","?] + list: [] | [value ("," value)* ","?] array: "[" list "]" array2d: "[" "|" [ list ("|" list)*] "|" "]" set: "{" list "}"