Fix parameter documentation for show2d_indexed and Gecode among_seq

MiniZinc · May 6, 2022 · 13d90f3 · 13d90f3
1 parent ec92836
commit 13d90f3
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/share/minizinc/gecode_presolver/gecode.mzn b/share/minizinc/gecode_presolver/gecode.mzn
@@ -132,7 +132,7 @@ predicate among_seq(array[int] of var int: x, set of int: S,
     int: l, int: m, int: n) = gecode_among_seq_int(x,S,l,m,n);
 /** @group gecode.constraints
  Every subsequence of \a x of length \a l has at least \a m and at most \a n occurrences
- of the values in \a S
+ of the value \a b
 */
 predicate among_seq(array[int] of var bool: x, bool: b,
     int: l, int: m, int: n) = gecode_among_seq_bool(x,b,l,m,n);

diff --git a/share/minizinc/std/stdlib/stdlib_string.mzn b/share/minizinc/std/stdlib/stdlib_string.mzn
@@ -34,7 +34,7 @@ point is given by \a p. It is a run-time error for \a p to be negative.
 */
 function string: show_float(int: w, int: p, var float: x);
 
-/** @group stdlib.builtins.string Convert two-dimensional array \a x into a string
+/** @group stdlib.builtins.string Convert two-dimensional array \a vs into a string
     with row and column headers \a row_hdr and \a col_hdr */
 function string: show2d_indexed(array[int] of string: row_hdr,
                                 array[int] of string: col_hdr,