diff options
| -rw-r--r-- | tools/addlabels.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/addlabels.ml b/tools/addlabels.ml index 6a297b9e8..b9e4b7f5b 100644 --- a/tools/addlabels.ml +++ b/tools/addlabels.ml @@ -54,11 +54,11 @@ let rec pattern_vars pat = | Ppat_tuple l | Ppat_array l -> List.concat (List.map pattern_vars l) - | Ppat_construct (_, Some pat, _) + | Ppat_construct (_, Some pat, _, _) | Ppat_variant (_, Some pat) | Ppat_constraint (pat, _) -> pattern_vars pat - | Ppat_record(l, _) -> + | Ppat_record(l, _, _) -> List.concat (List.map l ~f:(fun (_,p) -> pattern_vars p)) | Ppat_or (pat1, pat2) -> pattern_vars pat1 @ pattern_vars pat2 |