From 68250603c460be5d18fcd0afa425a1c360a1f025 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 24 Aug 2021 19:41:36 -0400 Subject: [PATCH] fix compat --- src/util/Util.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/util/Util.ml b/src/util/Util.ml index df8b6242..f0a2357c 100644 --- a/src/util/Util.ml +++ b/src/util/Util.ml @@ -35,7 +35,7 @@ let array_of_list_map f l = arr let array_to_list_map f arr = - List.init (Array.length arr) (fun i -> f arr.(i)) + CCList.init (Array.length arr) (fun i -> f arr.(i)) let setup_gc () = let g = Gc.get () in