Skip to content

Commit

Permalink
Fix default order of children
Browse files Browse the repository at this point in the history
  • Loading branch information
panglesd committed Dec 6, 2024
1 parent 8c11397 commit 417d4b4
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion src/index/skeleton_of.ml
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,6 @@ type t = Entry.t Tree.t
let compare_entry (t1 : t) (t2 : t) =
let by_kind (t : t) =
match t.node.kind with
| Page _ when List.is_empty t.children -> -10
| Page _ | Dir -> 0
| Module _ -> 10
| Impl -> 20
Expand Down

0 comments on commit 417d4b4

Please sign in to comment.