summaryrefslogtreecommitdiffstats
path: root/ocamldoc/odoc_types.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ocamldoc/odoc_types.ml')
-rw-r--r--ocamldoc/odoc_types.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/ocamldoc/odoc_types.ml b/ocamldoc/odoc_types.ml
index 68b3c4c9c..9a99cd624 100644
--- a/ocamldoc/odoc_types.ml
+++ b/ocamldoc/odoc_types.ml
@@ -41,7 +41,7 @@ and text_element =
| Title of int * string option * text
| Latex of string
| Link of string * text
- | Ref of string * ref_kind option
+ | Ref of string * ref_kind option * text option
| Superscript of text
| Subscript of text
| Module_list of string list