diff options
Diffstat (limited to 'ocamldoc/odoc_man.ml')
| -rw-r--r-- | ocamldoc/odoc_man.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ocamldoc/odoc_man.ml b/ocamldoc/odoc_man.ml index 037dee02da..3d9c0d7767 100644 --- a/ocamldoc/odoc_man.ml +++ b/ocamldoc/odoc_man.ml @@ -514,6 +514,7 @@ class man = List.iter (fun r -> bs b (if r.rf_mutable then "\n\n.B mutable \n" else "\n "); + bs b (if r.rf_focus then "\n\n.B match \n" else "\n "); bs b (r.rf_name^" : "); self#man_of_type_expr b father r.rf_type; bs b ";"; |