diff options
| -rw-r--r-- | tools/addlabels.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/addlabels.ml b/tools/addlabels.ml index 5a98e161e..41ad56c61 100644 --- a/tools/addlabels.ml +++ b/tools/addlabels.ml @@ -307,7 +307,7 @@ let rec add_labels_class ~text ~classes ~values ~methods cl = | Pcf_init e -> add_labels_expr ~text ~classes ~values e; values - | Pcf_inher _ | Pcf_virt _ | Pcf_cstr _ -> values + | Pcf_inher _ | Pcf_valvirt _ | Pcf_virt _ | Pcf_cstr _ -> values | Pcf_let _ -> values (* not in the grammar *) end; () |