summaryrefslogtreecommitdiffstats
path: root/ocamldoc/odoc_man.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ocamldoc/odoc_man.ml')
-rw-r--r--ocamldoc/odoc_man.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/ocamldoc/odoc_man.ml b/ocamldoc/odoc_man.ml
index 8296e5080..748ce5b25 100644
--- a/ocamldoc/odoc_man.ml
+++ b/ocamldoc/odoc_man.ml
@@ -273,7 +273,7 @@ class man =
()
| Odoc_info.Link (s, t) ->
self#man_of_text2 b t
- | Odoc_info.Ref (name, _) ->
+ | Odoc_info.Ref (name, _, _) ->
self#man_of_text_element b
(Odoc_info.Code (Odoc_info.use_hidden_modules name))
| Odoc_info.Superscript t ->