diff options
Diffstat (limited to 'ocamldoc/odoc_parameter.ml')
| -rw-r--r-- | ocamldoc/odoc_parameter.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ocamldoc/odoc_parameter.ml b/ocamldoc/odoc_parameter.ml index 790250fc8..9b30f3181 100644 --- a/ocamldoc/odoc_parameter.ml +++ b/ocamldoc/odoc_parameter.ml @@ -38,6 +38,7 @@ type parameter = param_info type module_parameter = { mp_name : string ; mp_type : Types.module_type ; + mp_type_code : string ; } |