summaryrefslogtreecommitdiff
path: root/ocamldoc/odoc_latex.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ocamldoc/odoc_latex.ml')
-rw-r--r--ocamldoc/odoc_latex.ml3
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 ()