From 06b29ed748a9d9b99c2c08a3788906dbad5417d2 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Mon, 11 Jun 2018 13:57:28 +0200
Subject: Repair relevance marks in-kernel.

Prevent errors when under annotating binders.
---
 clib/cArray.mli | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'clib/cArray.mli')

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