diff options
Diffstat (limited to 'ocamldoc/odoc_types.ml')
-rw-r--r-- | ocamldoc/odoc_types.ml | 2 |
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 |