diff options
| author | Jon French | 2018-08-22 14:24:32 +0100 |
|---|---|---|
| committer | Jon French | 2018-08-22 14:24:32 +0100 |
| commit | 9fdd1ecbed32ebb408256628b6661ccbf5f16c18 (patch) | |
| tree | 62bd89b47d440f8121b8b774338f33cbb2f10c8a /src | |
| parent | 581b72df349055c6bfdfb906b070984043e45840 (diff) | |
rewrite_defs_pat_lits: add an explicit type annotation around generated id pattern
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 6ae987c0..642e88a0 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_id id, p_annot) + P_aux (P_typ (typ, (P_aux (P_id id, p_annot))), p_annot) | p_aux, p_annot -> P_aux (p_aux, p_annot) in |