From bd3a48926a075296486c552ccef6b87e3fddd5e4 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Tue, 22 Aug 2017 10:38:21 +0200
Subject: Prevent overallocation in Array.map_to_list and remove custom
 implementation from Detyping.

---
 lib/cArray.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'lib/cArray.ml')

diff --git a/lib/cArray.ml b/lib/cArray.ml
index bb1e335468..85984d4362 100644
--- a/lib/cArray.ml
+++ b/lib/cArray.ml
@@ -283,8 +283,7 @@ let rev_of_list = function
   let () = set (len - 1) l in
   ans
 
-let map_to_list f v =
-  List.map f (Array.to_list v)
+let map_to_list = CList.map_of_array
 
 let map_of_list f l =
   let len = List.length l in
-- 
cgit v1.2.3