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 df404fc327..5c05bfc780 100644 --- a/ocamldoc/odoc_latex.ml +++ b/ocamldoc/odoc_latex.ml @@ -592,8 +592,9 @@ class latex = (fun r -> let s_field = p fmt2 - "@[<h 6> %s%s :@ %s ;" + "@[<h 6> %s%s%s :@ %s ;" (if r.rf_mutable then "mutable " else "") + (if r.rf_focus then "match " else "") r.rf_name (self#normal_type mod_name r.rf_type); flush2 () |