Commit 8c747092 authored by Sylvain Dailler's avatar Sylvain Dailler

patched remove

parent cb3db55d
......@@ -824,8 +824,8 @@ let remove_subtree ~(notification:notifier) ~(removed:notifier) s (n: any) =
| (APn _ | ATh _) when not (is_detached s n) ->
raise RemoveError
| _ ->
fold_all_any s (fun _ x -> remove x; removed x) () n;
let p = get_any_parent s n in
fold_all_any s (fun _ x -> remove x; removed x) () n;
Opt.iter (update_any_node s notification) p
(****************************)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment