From 5468bdb0784ea3e518b0079e227d76f2a10c5597 Mon Sep 17 00:00:00 2001
From: Daniil Baturin <daniil@baturin.org>
Date: Wed, 4 Mar 2015 23:13:35 +0600
Subject: Remove unnecessary wrapping and get rid of extract_names.

---
 src/vytree.ml | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'src')

diff --git a/src/vytree.ml b/src/vytree.ml
index 2a05d3d..f925488 100644
--- a/src/vytree.ml
+++ b/src/vytree.ml
@@ -45,11 +45,8 @@ let find_or_fail node name =
     | None -> raise Nonexistent_path
     | Some child' -> child'
 
-let rec extract_names children =
-    List.map (fun x -> x.name) children
-
 let list_children node =
-    extract_names node.children
+    List.map (fun x -> x.name) node.children
 
 let rec insert default_data node path data =
     match path with
-- 
cgit v1.2.3