aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--lib/models/permissions.ml4
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/models/permissions.ml b/lib/models/permissions.ml
index 0026f49..ef27d84 100644
--- a/lib/models/permissions.ml
+++ b/lib/models/permissions.ml
@@ -39,7 +39,9 @@ let of_seq seq = List.of_seq seq |> of_list
let to_seq mask = elements mask |> List.to_seq
-let to_seq_from (elt:elt) (_:storage) = Seq.return elt
+let to_seq_from elt init =
+ let _, _, r = split elt init in
+ elements r |> List.to_seq
let add_seq seq init =
List.of_seq seq