From 41b844befc7e7a720510358389e7e84e239404db Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Wed, 8 Jan 2020 16:39:59 +0100
Subject: Fix fold order in CArray.fold_right(2)_map

These functions are unused in Coq itself but this may break some plugins.

Close #10987
---
 clib/cArray.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'clib/cArray.mli')

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
-- 
cgit v1.2.3