diff options
Diffstat (limited to 'ocamldoc/odoc_env.ml')
-rw-r--r-- | ocamldoc/odoc_env.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ocamldoc/odoc_env.ml b/ocamldoc/odoc_env.ml index d6a595bd7..7a9c86edd 100644 --- a/ocamldoc/odoc_env.ml +++ b/ocamldoc/odoc_env.ml @@ -53,9 +53,9 @@ let rec add_signature env root ?rel signat = Types.Sig_value (ident, _) -> { env with env_values = (rel_name ident, qualify ident) :: env.env_values } | Types.Sig_type (ident,_,_) -> { env with env_types = (rel_name ident, qualify ident) :: env.env_types } | Types.Sig_exception (ident, _) -> { env with env_exceptions = (rel_name ident, qualify ident) :: env.env_exceptions } - | Types.Sig_module (ident, modtype, _) -> + | Types.Sig_module (ident, md, _) -> let env2 = - match modtype with (* A VOIR : le cas ou c'est un identificateur, dans ce cas on n'a pas de signature *) + match md.Types.md_type with (* A VOIR : le cas ou c'est un identificateur, dans ce cas on n'a pas de signature *) Types.Mty_signature s -> add_signature env (qualify ident) ~rel: (rel_name ident) s | _ -> env in |