diff options
| author | Jon French | 2018-09-19 14:14:18 +0100 |
|---|---|---|
| committer | Jon French | 2018-09-19 14:14:18 +0100 |
| commit | 3cbb74c895b48113f2379ce5af92bbaefcf5c8ef (patch) | |
| tree | 8bd4f6cbb3fe2b377e061509683a17d07fb00f05 /src | |
| parent | c2ed3d3782800779585e48cde3d46df75361e5eb (diff) | |
rewrite_defs_pat_string_append: fix bug with guarded Some
Diffstat (limited to 'src')
| -rw-r--r-- | src/rewrites.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/rewrites.ml b/src/rewrites.ml index f4e5d346..99b96f61 100644 --- a/src/rewrites.ml +++ b/src/rewrites.ml @@ -3179,7 +3179,7 @@ let rec rewrite_defs_pat_string_append = let tup_arg_pat = map_pat_annot (fun (l, tannot) -> (l, replace_env some_pat_env tannot)) tup_arg_pat in (* construct None pattern *) - let none_pat = annot_pat (P_app (mk_id "None", [annot_pat (P_lit (mk_lit L_unit)) unk env unit_typ])) unk env opt_typ in + let none_pat = annot_pat P_wild unk env opt_typ in (* recurse into pat2 *) let new_pat2_pexp = |