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.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/ocamldoc/odoc_types.ml b/ocamldoc/odoc_types.ml
index 3710a7845..68b3c4c9c 100644
--- a/ocamldoc/odoc_types.ml
+++ b/ocamldoc/odoc_types.ml
@@ -46,6 +46,7 @@ and text_element =
| Subscript of text
| Module_list of string list
| Index_list
+ | Custom of string * text
and text = text_element list