diff options
Diffstat (limited to 'ocamldoc/odoc_html.ml')
| -rw-r--r-- | ocamldoc/odoc_html.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ocamldoc/odoc_html.ml b/ocamldoc/odoc_html.ml index 369114d74c..c016773e14 100644 --- a/ocamldoc/odoc_html.ml +++ b/ocamldoc/odoc_html.ml @@ -1521,6 +1521,7 @@ class html = bs b "</td>\n<td align=\"left\" valign=\"top\" >\n"; bs b "<code>"; if r.rf_mutable then bs b (self#keyword "mutable ") ; + if r.rf_focus then bs b (self#keyword "match ") ; bs b (r.rf_name ^ " : ") ; self#html_of_type_expr b father r.rf_type; bs b ";</code></td>\n"; |