diff options
Diffstat (limited to 'ocamldoc/odoc_search.ml')
| -rw-r--r-- | ocamldoc/odoc_search.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/ocamldoc/odoc_search.ml b/ocamldoc/odoc_search.ml index 990930d695..d25aee63d5 100644 --- a/ocamldoc/odoc_search.ml +++ b/ocamldoc/odoc_search.ml @@ -79,7 +79,9 @@ module Search = | T.Link (_, t) -> search_text root t v | T.List l | T.Enum l -> List.flatten (List.map (fun t -> search_text root t v) l) - | T.Newline -> [] + | T.Newline + | T.Module_list _ + | T.Index_list -> [] | T.Title (n, l_opt, t) -> (match l_opt with None -> [] |