From 85ed88a3f0b54b6dcff3a058e4cb7bd5f9b8bc40 Mon Sep 17 00:00:00 2001 From: Jason N Date: Fri, 4 Mar 2022 08:06:52 +1100 Subject: [PATCH] Fix name of reified member predicate in Gecode presolver library Fixes #556 --- changes.rst | 2 ++ share/minizinc/gecode_presolver/fzn_member_int_reif.mzn | 4 ++-- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/changes.rst b/changes.rst index 86088ac35..c098f93f5 100644 --- a/changes.rst +++ b/changes.rst @@ -34,6 +34,8 @@ Bug fixes: - Allow comprenhensions to iterate over the ``{}`` literal. - Fix printing of multidimensional arrays of enums in output. - Fix the output format when using ``--json-stream`` on FlatZinc files. +- Rename ``member_int_reif`` to ``fzn_member_int_reif`` in the Gecode presolver library + (:bugref:`556`). Changes in the IDE: ^^^^^^^^^^^^^^^^^^^ diff --git a/share/minizinc/gecode_presolver/fzn_member_int_reif.mzn b/share/minizinc/gecode_presolver/fzn_member_int_reif.mzn index 29695019c..f4be0cc39 100644 --- a/share/minizinc/gecode_presolver/fzn_member_int_reif.mzn +++ b/share/minizinc/gecode_presolver/fzn_member_int_reif.mzn @@ -36,5 +36,5 @@ predicate gecode_member_int_reif(array[int] of var int: x, var int: y, var bool: b); -predicate member_int_reif(array[int] of var int: x, var int: y, - var bool: b) = gecode_member_int_reif(x,y,b); +predicate fzn_member_int_reif(array[int] of var int: x, var int: y, + var bool: b) = gecode_member_int_reif(x,y,b);