diff options
Diffstat (limited to 'lib/cArray.ml')
| -rw-r--r-- | lib/cArray.ml | 3 |
1 files changed, 1 insertions, 2 deletions
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 |