From c369d0897230bec405fc6cce7144d4f9f2956ed6 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Tue, 3 Jul 2018 14:19:48 +0100
Subject: Fix letbind_effects on LEXP_deref with an effectful subexpression

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