diff options
| author | Daniil Baturin <daniil@baturin.org> | 2015-03-04 23:13:35 +0600 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2015-03-04 23:13:35 +0600 |
| commit | 5468bdb0784ea3e518b0079e227d76f2a10c5597 (patch) | |
| tree | a3b3e72e126851a488b2fb4ef40ed6a609729efe /src | |
| parent | fc4e68c00cbe8fca004f08867fec6eaaf0178383 (diff) | |
| download | vyconf-5468bdb0784ea3e518b0079e227d76f2a10c5597.tar.gz vyconf-5468bdb0784ea3e518b0079e227d76f2a10c5597.zip | |
Remove unnecessary wrapping and get rid of extract_names.
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 |