summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorDaniil Baturin <daniil@baturin.org>2015-03-27 07:56:04 +0600
committerDaniil Baturin <daniil@baturin.org>2015-03-27 07:56:04 +0600
commit8855202f9ee4769b20d36cda8d0e4e20b9c31a2d (patch)
treecb8fc65f13ffdef4cea67994eeae51153aedc00c /src
parent543409e6acfb9851e3fc1d78f4ba6b34b3bebc60 (diff)
downloadvyconf-8855202f9ee4769b20d36cda8d0e4e20b9c31a2d.tar.gz
vyconf-8855202f9ee4769b20d36cda8d0e4e20b9c31a2d.zip
Use cons instead of append for inserstions by default.
Diffstat (limited to 'src')
-rw-r--r--src/vytree.ml4
1 files changed, 2 insertions, 2 deletions
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