aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Branch.ml
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--lib/kernel/Branch.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/kernel/Branch.ml b/lib/kernel/Branch.ml
index 25c2e7b..561bff3 100644
--- a/lib/kernel/Branch.ml
+++ b/lib/kernel/Branch.ml
@@ -136,7 +136,7 @@ module Make (S : Abstract.Storage.STORAGE) = struct
object
method check =
let* named = Prototype.Directory.children multigroups in
- List.map admits named |> Utilities.List.sequence |> Result.map List.concat
+ Utilities.List.concat_map admits named
end;
Prototype.Associative.(
of_properties