summaryrefslogtreecommitdiffstats
path: root/ocamldoc/odoc_text.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ocamldoc/odoc_text.ml')
-rw-r--r--ocamldoc/odoc_text.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/ocamldoc/odoc_text.ml b/ocamldoc/odoc_text.ml
index 4fd30e0ee..eb3c56269 100644
--- a/ocamldoc/odoc_text.ml
+++ b/ocamldoc/odoc_text.ml
@@ -128,6 +128,7 @@ module Texter =
| RK_class_type -> "classtype"
| RK_value -> "val"
| RK_type -> "type"
+ | RK_extension -> "extension"
| RK_exception -> "exception"
| RK_attribute -> "attribute"
| RK_method -> "method"