summaryrefslogtreecommitdiff
path: root/ocamldoc/odoc_ast.mli
diff options
context:
space:
mode:
Diffstat (limited to 'ocamldoc/odoc_ast.mli')
-rw-r--r--ocamldoc/odoc_ast.mli2
1 files changed, 1 insertions, 1 deletions
diff --git a/ocamldoc/odoc_ast.mli b/ocamldoc/odoc_ast.mli
index c12334aca8..1fe31c584b 100644
--- a/ocamldoc/odoc_ast.mli
+++ b/ocamldoc/odoc_ast.mli
@@ -33,7 +33,7 @@ module Typedtree_search :
(** This function returns the [Types.module_type] associated to the given module type name,
in the given table.
@raise Not_found if the module type was not found.*)
- val search_module_type : tab -> string -> Typedtree.module_type
+ val search_module_type : tab -> string -> Typedtree.module_type_binding
(** This function returns the [Types.exception_declaration] associated to the given exception name,
in the given table.