Fix name of reified member predicate in Gecode presolver library

Fixes #556
MiniZinc · Mar 3, 2022 · 85ed88a · 85ed88a
1 parent c213d6b
commit 85ed88a
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git 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
@@ -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);