Skip to content

Commit 8b5e1b5

Browse files
panglesdJulow
authored andcommitted
Occurrence: compatibility
Co-authored-by: Jules Aguillon <[email protected]>
1 parent 1b37c15 commit 8b5e1b5

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/odoc/occurrences.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -46,7 +46,7 @@ end = struct
4646
let rec add ?(kind = `Indirect) id =
4747
let incr htbl id =
4848
let { direct; indirect; sub } =
49-
match H.find_opt htbl id with Some n -> n | None -> v_item ()
49+
try H.find htbl id with Not_found -> v_item ()
5050
in
5151
let direct, indirect =
5252
match kind with

0 commit comments

Comments
 (0)