diff options
Diffstat (limited to 'ocamldoc/odoc_latex.ml')
| -rw-r--r-- | ocamldoc/odoc_latex.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ocamldoc/odoc_latex.ml b/ocamldoc/odoc_latex.ml index 30566d5e5..af633aa64 100644 --- a/ocamldoc/odoc_latex.ml +++ b/ocamldoc/odoc_latex.ml @@ -520,7 +520,8 @@ class latex = p f "%s" (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 ); Format.flush_str_formatter () |