Repair relevance marks in-kernel.

Prevent errors when under annotating binders.

1 files changed, 2 insertions, 0 deletions

diff --git a/clib/cArray.mli b/clib/cArray.mli
index 8aca31ad33..c1b29bb9d3 100644
--- a/clib/cArray.mli
+++ b/clib/cArray.mli
@@ -129,6 +129,8 @@ sig
     (** [Smart.map f a] behaves as [map f a] but returns [a] instead of a copy when
         [f x == x] for all [x] in [a]. *)
 
+    val map_i : (int -> 'a -> 'a) -> 'a array -> 'a array
+
     val map2 : ('a -> 'b -> 'b) -> 'a array -> 'b array -> 'b array
     (** [Smart.map2 f a b] behaves as [map2 f a b] but returns [a] instead of a copy when
         [f x y == y] for all [x] in [a] and [y] in [b] pointwise. *)