From 8c2f0db7337328570af57461a3d95203537ac185 Mon Sep 17 00:00:00 2001 From: Estevan Castilho Date: Sat, 24 Oct 2026 03:35:20 +0000 Subject: Use finger trees in more places --- lib/kernel/Branch.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/kernel/Branch.ml') diff --git a/lib/kernel/Branch.ml b/lib/kernel/Branch.ml index 239afda..6f851ed 100644 --- a/lib/kernel/Branch.ml +++ b/lib/kernel/Branch.ml @@ -133,7 +133,7 @@ module Make (S : Abstract.Storage.STORAGE) = struct object method check = let* named = Directory.children multigroups in - Utilities.List.concat_map admits named + Utilities.List.concat_mapm admits (BatFingerTree.to_list named) (* FIXME: use finger trees *) end; Prototype.Associative.( of_properties -- cgit v1.2.3