From 8855202f9ee4769b20d36cda8d0e4e20b9c31a2d Mon Sep 17 00:00:00 2001 From: Daniil Baturin Date: Fri, 27 Mar 2015 07:56:04 +0600 Subject: Use cons instead of append for inserstions by default. --- src/vytree.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/vytree.ml b/src/vytree.ml index 1f046dc..8c64fc6 100644 --- a/src/vytree.ml +++ b/src/vytree.ml @@ -22,7 +22,7 @@ let children_of_node node = node.children let insert_immediate node name data = let new_node = make name data in - let children' = node.children @ [new_node] in + let children' = new_node :: node.children in { node with children = children' } let delete_immediate node name = @@ -30,7 +30,7 @@ let delete_immediate node name = { node with children = children' } let adopt node child = - { node with children = (node.children @ [child]) } + { node with children = child :: node.children } let replace node child = let children = node.children in -- cgit v1.2.3