Skip to content

Commit

Permalink
Formatting
Browse files Browse the repository at this point in the history
  • Loading branch information
gpetiot committed Nov 15, 2024
1 parent c27a8f0 commit bcb5314
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion src/document/sidebar.ml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit bcb5314

Please sign in to comment.