summaryrefslogtreecommitdiffstats
path: root/ocamldoc/odoc_search.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ocamldoc/odoc_search.ml')
-rw-r--r--ocamldoc/odoc_search.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/ocamldoc/odoc_search.ml b/ocamldoc/odoc_search.ml
index 3329475d5..a140cfe31 100644
--- a/ocamldoc/odoc_search.ml
+++ b/ocamldoc/odoc_search.ml
@@ -66,7 +66,7 @@ module Search =
| T.CodePre _
| T.Latex _
| T.Verbatim _
- | T.Ref (_, _) -> []
+ | T.Ref (_, _, _) -> []
| T.Bold t
| T.Italic t
| T.Center t