Skip to content

Commit

Permalink
Compat with 4.02
Browse files Browse the repository at this point in the history
  • Loading branch information
Julow committed Jul 22, 2024
1 parent 7e59d8a commit 1653d36
Showing 1 changed file with 2 additions and 4 deletions.
6 changes: 2 additions & 4 deletions src/odoc/resolver.ml
Original file line number Diff line number Diff line change
Expand Up @@ -448,10 +448,8 @@ let lookup_page_by_path ~pages ~hierarchy path =

let lookup_unit_by_path ~libs ~hierarchy path =
let possible_unit_names name =
[
String.capitalize_ascii name ^ ".odoc";
String.uncapitalize_ascii name ^ ".odoc";
]
Astring.String.Ascii.
[ capitalize name ^ ".odoc"; uncapitalize name ^ ".odoc" ]
in
match lookup_path ~possible_unit_names ~named_roots:libs ~hierarchy path with
| Ok (Odoc_file.Unit_content u) -> Ok (Odoc_xref2.Env.Found u)
Expand Down

0 comments on commit 1653d36

Please sign in to comment.