From 3cbb74c895b48113f2379ce5af92bbaefcf5c8ef Mon Sep 17 00:00:00 2001
From: Jon French
Date: Wed, 19 Sep 2018 14:14:18 +0100
Subject: rewrite_defs_pat_string_append: fix bug with guarded Some

---
 src/rewrites.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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 =
-- 
cgit v1.2.3