diff options
Diffstat (limited to 'src/vytree.ml')
| -rw-r--r-- | src/vytree.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/vytree.ml b/src/vytree.ml index 3b6819f..1a380e3 100644 --- a/src/vytree.ml +++ b/src/vytree.ml @@ -92,4 +92,6 @@ let rec delete_child node path = let next_child = find_child node name in match next_child with | None -> raise Nonexistent_path - | Some next_child' -> delete_child next_child' names + | Some next_child' -> + let new_node = delete_child next_child' names in + replace_child node new_node |