diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/vytree.ml | 5 |
1 files changed, 1 insertions, 4 deletions
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 |