From db3a70f942d23d4efab3b086b6b3d85547005daa Mon Sep 17 00:00:00 2001 From: Shon Feder Date: Sat, 11 Dec 2021 21:27:23 -0500 Subject: [PATCH] Annotate ignore Co-authored-by: Simon Cruanes --- src/core/CCSeq.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/CCSeq.ml b/src/core/CCSeq.ml index d2b4cdae..55a32593 100644 --- a/src/core/CCSeq.ml +++ b/src/core/CCSeq.ml @@ -406,7 +406,7 @@ let to_array l = let a = Array.make len init in (* Subtract 1 for len->index conversion and 1 for the removed [init] *) let idx = len - 2 in - ignore (List.fold_left (fun i x -> a.(i) <- x; i - 1) idx rest); + ignore (List.fold_left (fun i x -> a.(i) <- x; i - 1) idx rest : int); a (*$Q