diff --git a/src/document/sidebar.ml b/src/document/sidebar.ml index 97b170a148..f1d69e1429 100644 --- a/src/document/sidebar.ml +++ b/src/document/sidebar.ml @@ -60,7 +60,8 @@ end = struct in let f name = match name with - | Some url, _ when prune && not (is_prefix (parent url) current_url) -> None + | Some url, _ when prune && not (is_prefix (parent url) current_url) -> + None | v -> Some (convert v) in let root_entry = convert tree.Tree.node in