diff options
| author | Brian Campbell | 2018-07-03 14:19:48 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-07-03 14:20:09 +0100 |
| commit | c369d0897230bec405fc6cce7144d4f9f2956ed6 (patch) | |
| tree | c08976d7e145b9cda3c7cec762a653f3705507f9 /src | |
| parent | a3a05ed727e2e7d8f0f3e54a444c556dbe2dfd83 (diff) | |
Fix letbind_effects on LEXP_deref with an effectful subexpression
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 214ca571..c2bf0835 100644 --- a/src/rewrites.ml +++ b/src/rewrites.ml @@ -2606,7 +2606,7 @@ let rewrite_defs_letbind_effects = match lexp_aux with | LEXP_id _ -> k lexp | LEXP_deref exp -> - n_exp exp (fun exp -> + n_exp_name exp (fun exp -> k (fix_eff_lexp (LEXP_aux (LEXP_deref exp, annot)))) | LEXP_memory (id,es) -> n_exp_nameL es (fun es -> |