summaryrefslogtreecommitdiff
path: root/tools/ocamldep.ml
diff options
context:
space:
mode:
Diffstat (limited to 'tools/ocamldep.ml')
-rw-r--r--tools/ocamldep.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ocamldep.ml b/tools/ocamldep.ml
index 36c1366f1a..89fe9c1326 100644
--- a/tools/ocamldep.ml
+++ b/tools/ocamldep.ml
@@ -64,7 +64,7 @@ let add_type_declaration bv td =
td.ptype_cstrs;
add_opt add_type bv td.ptype_manifest;
match td.ptype_kind with
- Ptype_abstract _ -> ()
+ Ptype_abstract -> ()
| Ptype_variant cstrs ->
List.iter (fun (c, args) -> List.iter (add_type bv) args) cstrs
| Ptype_record lbls ->