diff options
Diffstat (limited to 'ocamldoc/odoc_man.ml')
| -rw-r--r-- | ocamldoc/odoc_man.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ocamldoc/odoc_man.ml b/ocamldoc/odoc_man.ml index d295559d3..b287b8405 100644 --- a/ocamldoc/odoc_man.ml +++ b/ocamldoc/odoc_man.ml @@ -458,7 +458,8 @@ class man = ( match cco.cco_class with None -> cco.cco_name - | Some cl -> cl.cl_name^" " + | Some (Cl cl) -> cl.cl_name^" " + | Some (Cltype (clt, _)) -> clt.clt_name^" " ) | Class_constraint (ck, ctk) -> (if with_def_syntax then " = " else "")^ |