From 479fe31c27667f4b877d9b6b24ac9b1d76b1aa1e Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 23 Mar 2026 11:46:38 -0400 Subject: [PATCH] CCMap.to_list: always in increasing order now --- src/core/CCMap.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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]