From eb7ad043880a0a846864c7b648e59c2a29610c51 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Fri, 23 Oct 2026 23:48:31 -0300 Subject: change call sites Directory --- 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 598e102..239afda 100644 --- a/lib/kernel/Branch.ml +++ b/lib/kernel/Branch.ml @@ -132,7 +132,7 @@ module Make (S : Abstract.Storage.STORAGE) = struct Admission.make object method check = - let* named = Prototype.Directory.children multigroups in + let* named = Directory.children multigroups in Utilities.List.concat_map admits named end; Prototype.Associative.( -- cgit v1.2.3