From 6668595ebfb13e7299233ad6a9cb82b68e30128e Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Fri, 23 Jul 2010 12:21:06 -0700
Subject: Include all lval-writing statements in stmt_is_init calculation, not
 just "copy-like". Un-XFAIL generic-tag-alt.rs

---
 src/boot/me/effect.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/boot/me/effect.ml')

diff --git a/src/boot/me/effect.ml b/src/boot/me/effect.ml
index 9ddef63d..fba08256 100644
--- a/src/boot/me/effect.ml
+++ b/src/boot/me/effect.ml
@@ -45,7 +45,7 @@ let mutability_checking_visitor
           Ast.TY_mutable _ -> true
         | _ -> false
     in
-      if (is_mutable or (Hashtbl.mem cx.ctxt_copy_stmt_is_init s.id))
+      if (is_mutable or (Hashtbl.mem cx.ctxt_stmt_is_init s.id))
       then ()
       else err (Some s.id)
         "writing to non-mutable slot of type %a in statement %a"
-- 
cgit v1.2.3