summaryrefslogtreecommitdiffstats
path: root/ocamldoc/odoc_merge.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ocamldoc/odoc_merge.ml')
-rw-r--r--ocamldoc/odoc_merge.ml4
1 files changed, 2 insertions, 2 deletions
diff --git a/ocamldoc/odoc_merge.ml b/ocamldoc/odoc_merge.ml
index 468c47113..fd046752e 100644
--- a/ocamldoc/odoc_merge.ml
+++ b/ocamldoc/odoc_merge.ml
@@ -196,7 +196,7 @@ let merge_types merge_options mli ml =
Type_abstract, _ ->
()
- | Type_variant (l1, _), Type_variant (l2, _) ->
+ | Type_variant l1, Type_variant l2 ->
let f cons =
try
let cons2 = List.find
@@ -224,7 +224,7 @@ let merge_types merge_options mli ml =
in
List.iter f l1
- | Type_record (l1, _), Type_record (l2, _) ->
+ | Type_record l1, Type_record l2 ->
let f record =
try
let record2= List.find