diff options
Diffstat (limited to 'typing/unused_var.ml')
| -rw-r--r-- | typing/unused_var.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/unused_var.ml b/typing/unused_var.ml index 9bf13e4295..d5dd5d2361 100644 --- a/typing/unused_var.ml +++ b/typing/unused_var.ml @@ -245,7 +245,7 @@ and class_field ppf tbl cf = match cf with | Pcf_inher (ce, _) -> class_expr ppf tbl ce; | Pcf_val (_, _, e, _) -> expression ppf tbl e; - | Pcf_virt _ -> () + | Pcf_virt _ | Pcf_valvirt _ -> () | Pcf_meth (_, _, e, _) -> expression ppf tbl e; | Pcf_cstr _ -> () | Pcf_let (recflag, pel, _) -> let_pel ppf tbl recflag pel None; |