Skip to content

Commit 92a9862

Browse files
committed
fix wrong kind in warning for missing label
Signed-off-by: Paul-Elliot <[email protected]>
1 parent 7df2c1f commit 92a9862

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

src/xref2/ref_tools.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -354,7 +354,7 @@ module L = struct
354354
when name = LabelName.to_string name' ->
355355
Ok (`Identifier label)
356356
| _ -> find tl)
357-
| [] -> Error (`Find_by_name (`Page, name))
357+
| [] -> Error (`Find_by_name (`Label, name))
358358
in
359359
find p.Odoc_model.Lang.Page.content
360360

test/xref2/references_to_pages.t/run.t

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22

33
$ compile p.mld good_references.mli bad_references.mli
44
File "bad_references.mli", line 6, characters 42-69:
5-
Warning: Failed to resolve reference unresolvedroot(p).not_found Couldn't find page "not_found"
5+
Warning: Failed to resolve reference unresolvedroot(p).not_found Couldn't find label "not_found"
66
File "bad_references.mli", line 4, characters 20-37:
77
Warning: Failed to resolve reference unresolvedroot(not_found) Couldn't find page "not_found"
88

0 commit comments

Comments
 (0)