From 7e3729af7d04f522f1b4425814546aab434f6f2a Mon Sep 17 00:00:00 2001 From: Adelyn Breedlove Date: Wed, 20 Feb 2019 10:40:11 -0700 Subject: tidy add_seq --- lib/models/permissions.ml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'lib') 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 -- cgit v1.2.3