diff options
Diffstat (limited to 'ocamldoc/odoc_info.ml')
| -rw-r--r-- | ocamldoc/odoc_info.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ocamldoc/odoc_info.ml b/ocamldoc/odoc_info.ml index a39e4ad6c..1f288b17a 100644 --- a/ocamldoc/odoc_info.ml +++ b/ocamldoc/odoc_info.ml @@ -43,7 +43,7 @@ and text_element = Odoc_types.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 |