summaryrefslogtreecommitdiffstats
path: root/ocamldoc/odoc_man.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ocamldoc/odoc_man.ml')
-rw-r--r--ocamldoc/odoc_man.ml4
1 files changed, 2 insertions, 2 deletions
diff --git a/ocamldoc/odoc_man.ml b/ocamldoc/odoc_man.ml
index dae2ff986..e6a3ed3d1 100644
--- a/ocamldoc/odoc_man.ml
+++ b/ocamldoc/odoc_man.ml
@@ -492,13 +492,13 @@ class man =
| l, None, Some r ->
bs b "\n.B : ";
self#man_of_type_expr_list ~par: false b father " * " l;
- bs b ".B -> ";
+ bs b ".B -> ";
self#man_of_type_expr b father r;
bs b " "
| l, (Some t), Some r ->
bs b "\n.B of ";
self#man_of_type_expr_list ~par: false b father " * " l;
- bs b ".B -> ";
+ bs b ".B -> ";
self#man_of_type_expr b father r;
bs b ".I \" \"\n";
bs b "(* ";