aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAdelyn Breedlove <[email protected]>2019-02-20 10:40:11 -0700
committerAdelyn Breedlove <[email protected]>2019-02-20 10:40:11 -0700
commit7e3729af7d04f522f1b4425814546aab434f6f2a (patch)
tree525f320ce18bb3b7e7b779525a6d33445723e723
parentAdd permission test command (diff)
downloaddisml-7e3729af7d04f522f1b4425814546aab434f6f2a.tar.xz
disml-7e3729af7d04f522f1b4425814546aab434f6f2a.zip
tidy add_seq
-rw-r--r--lib/models/permissions.ml4
1 files changed, 1 insertions, 3 deletions
diff --git a/lib/models/permissions.ml b/lib/models/permissions.ml
index 2b217b8..9a0567d 100644
--- a/lib/models/permissions.ml
+++ b/lib/models/permissions.ml
@@ -56,6 +56,4 @@ let to_seq_from elt init =
elt :: elements r |> List.to_seq
let add_seq seq init =
- List.of_seq seq
- |> of_list
- |> (lor) init \ No newline at end of file
+ of_seq seq |> union init \ No newline at end of file