diff options
| author | Gaëtan Gilbert | 2020-01-08 16:39:59 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-01-27 13:33:51 +0100 |
| commit | 41b844befc7e7a720510358389e7e84e239404db (patch) | |
| tree | 8f5c285bc3b07f7c75c8b078e959a1e0aa6acb44 /clib/cArray.mli | |
| parent | 506b35913103c17e4d27663aa0f977452d5815b0 (diff) | |
Fix fold order in CArray.fold_right(2)_map
These functions are unused in Coq itself but this may break some plugins.
Close #10987
Diffstat (limited to 'clib/cArray.mli')
| -rw-r--r-- | clib/cArray.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clib/cArray.mli b/clib/cArray.mli index f94af26515..94390a369f 100644 --- a/clib/cArray.mli +++ b/clib/cArray.mli @@ -107,7 +107,7 @@ sig (** Same than [fold_left2_map] but passing the index of the array *) val fold_right2_map : ('a -> 'b -> 'c -> 'd * 'c) -> 'a array -> 'b array -> 'c -> 'd array * 'c - (** Same with two arrays, folding on the left *) + (** Same with two arrays, folding on the right *) val distinct : 'a array -> bool (** Return [true] if every element of the array is unique (for default |