diff options
Diffstat (limited to 'ocamldoc/odoc_module.ml')
| -rw-r--r-- | ocamldoc/odoc_module.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ocamldoc/odoc_module.ml b/ocamldoc/odoc_module.ml index 216f1cfb3..b1bedfa77 100644 --- a/ocamldoc/odoc_module.ml +++ b/ocamldoc/odoc_module.ml @@ -46,7 +46,7 @@ and module_alias = { and module_parameter = { mp_name : string ; (** the name *) - mp_type : Types.module_type ; (** the type *) + mp_type : Types.module_type option ; (** the type *) mp_type_code : string ; (** the original code *) mp_kind : module_type_kind ; (** the way the parameter was built *) } |