diff options
| author | Jon French | 2018-08-22 16:52:23 +0100 |
|---|---|---|
| committer | Jon French | 2018-08-22 16:52:23 +0100 |
| commit | e43dcd2eb040bcd3d69bca36edadeedc52c75522 (patch) | |
| tree | f0c8696da4d16c0b1236fe5c36af7990f59a1b37 /src/rewrites.ml | |
| parent | 9fdd1ecbed32ebb408256628b6661ccbf5f16c18 (diff) | |
Revert "rewrite_defs_pat_lits: add an explicit type annotation around generated id pattern"
This reverts commit 9fdd1ecbed32ebb408256628b6661ccbf5f16c18.
Diffstat (limited to 'src/rewrites.ml')
| -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 642e88a0..6ae987c0 100644 --- a/src/rewrites.ml +++ b/src/rewrites.ml @@ -3405,7 +3405,7 @@ let rewrite_defs_pat_lits rewrite_lit = let guard = check_exp (Env.add_local id (Immutable, typ) env) guard bool_typ in guards := guard :: !guards; incr counter; - P_aux (P_typ (typ, (P_aux (P_id id, p_annot))), p_annot) + P_aux (P_id id, p_annot) | p_aux, p_annot -> P_aux (p_aux, p_annot) in |