From a049d23edfc3bd85edf13e3ee53b0e6dcda3fb17 Mon Sep 17 00:00:00 2001 From: Vitor Sessak Date: Fri, 7 Mar 2025 09:23:12 +0000 Subject: [PATCH] Accept empty lists on the DZN grammar. Before this change, empty lists were wrongly parsed as a list with a singleton Null element. --- src/minizinc/dzn.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 "}"