diff options
Diffstat (limited to 'tools/depend.ml')
| -rw-r--r-- | tools/depend.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/depend.ml b/tools/depend.ml index 24ccad116a..948646a823 100644 --- a/tools/depend.ml +++ b/tools/depend.ml @@ -299,7 +299,6 @@ and add_class_field bv = function | Pcf_virt(_, _, ty, _) -> add_type bv ty | Pcf_meth(_, _, _, e, _) -> add_expr bv e | Pcf_cstr(ty1, ty2, _) -> add_type bv ty1; add_type bv ty2 - | Pcf_let(_, pel, _) -> add_pat_expr_list bv pel | Pcf_init e -> add_expr bv e and add_class_declaration bv decl = |