segfault with conditional in var comprehension

[wcbeard]

The following code

var 1..1: i;
predicate losseq(array[int] of var int: a) = sum([1 | e in a where e >= 1]) = 1;
constraint losseq([0]);
solve satisfy;

results in a segfault when run from the terminal with command

$ /Applications/MiniZincIDE.app/Contents/Resources/mzn2fzn debug.mzn  -Ggecode
[1]    26370 segmentation fault  /Applications/MiniZincIDE.app/Contents/Resources/mzn2fzn debug.mzn -Ggecode

I'm using The MiniZinc IDE Version 0.9.9.

[guidotack]

Thanks, that's fixed now (the fix will be part of the next release).