aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Tuple.ml
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--lib/kernel/Tuple.ml10
1 files changed, 1 insertions, 9 deletions
diff --git a/lib/kernel/Tuple.ml b/lib/kernel/Tuple.ml
index 9dbbc17..41babe9 100644
--- a/lib/kernel/Tuple.ml
+++ b/lib/kernel/Tuple.ml
@@ -89,15 +89,7 @@ module Make (S : Abstract.Storage.STORAGE) = struct
let make tx ~type_ attributes =
let open Utilities.Result in
- let* node =
- AttributeM.with_batch tx (fun () ->
- BatMap.String.enum attributes
- |> BatEnum.fold
- (fun node (name, value) ->
- let* node = node in
- AttributeM.insert tx name value node )
- (Ok AttributeM.empty) )
- in
+ let* node = AttributeM.of_list tx (BatMap.String.bindings attributes) in
Ok {type_; attributes= AttributeM.hash_of node}
let attribute tx tuple name =