diff --git a/src/core/CCMap.ml b/src/core/CCMap.ml index 97931ccb..e7171fe2 100644 --- a/src/core/CCMap.ml +++ b/src/core/CCMap.ml @@ -191,7 +191,7 @@ module Make (O : Map.OrderedType) = struct [@@@iflt 5.1] - let to_list m = fold (fun k v acc -> (k, v) :: acc) m [] + let to_list = bindings [@@@endif]