From 623a962bfb9a9e1595459053e8be6748ca2277b3 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Mon, 2 Nov 2015 09:25:12 +0000
Subject: Catch missing cumulative effect on setting local var

---
 src/type_check.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/type_check.ml b/src/type_check.ml
index 5bff7d3d..6b738c97 100644
--- a/src/type_check.ml
+++ b/src/type_check.ml
@@ -1388,9 +1388,9 @@ and check_lexp envs imp_param is_top (LEXP_aux(lexp,(l,annot)))
              (LEXP_aux(lexp,(l,(Base(([],t),External (Some i),cs_o,ef,pure_e,nob)))),u,false,
               Envmap.empty,External (Some i),[],nob,ef,ef)
            | Tapp("reg",[TA_typ u]),_ ->
-             (LEXP_aux(lexp,(l,(Base(([],t),Emp_set,cs_o,ef,pure_e,b)))),u,false,Envmap.empty,Emp_set,[],nob,ef,ef)
+             (LEXP_aux(lexp,(l,(Base(([],t),Emp_set,cs_o,ef,ef,b)))),u,false,Envmap.empty,Emp_set,[],nob,ef,ef)
            | Tapp("vector",_),false ->
-             (LEXP_aux(lexp,(l,(Base(([],t),tag,cs_o,pure_e,ef,b)))),t,true,Envmap.empty,Emp_set,[],nob,ef,ef)
+             (LEXP_aux(lexp,(l,(Base(([],t),tag,cs_o,ef,ef,b)))),t,true,Envmap.empty,Emp_set,[],nob,ef,ef)
            | (Tfn _ ,_) ->
              (match tag with 
               | External _ | Spec | Emp_global -> 
-- 
cgit v1.2.3