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