diff options
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 074ad60f..e38169cc 100644 --- a/src/rewrites.ml +++ b/src/rewrites.ml @@ -2677,7 +2677,7 @@ let rec rewrite_var_updates ((E_aux (expaux,((l,_) as annot))) as exp) = let lvar_typ = mk_typ (Typ_exist ([lvar_kid], lvar_nc, atom_typ (nvar lvar_kid))) in let lvar_pat = P_typ (lvar_typ, annot_pat (P_var ( annot_pat (P_id id) el env (atom_typ (nvar lvar_kid)), - lvar_kid)) el env lvar_typ) in + TP_var lvar_kid)) el env lvar_typ) in let lb = annot_letbind (lvar_pat, exp1) el env lvar_typ in let body = annot_exp (E_let (lb, exp4)) el env (typ_of exp4) in let v = annot_exp (E_app (mk_id "foreach", [exp1; exp2; exp3; ord_exp; tuple_exp vars; body])) el env (typ_of body) in |