From cae60cbaba77f3d717f9a58abc9b56cc7f64fc65 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Sun, 4 Jul 2010 16:02:12 -0700
Subject: Fix compile-fail/log-type-error.rs.

---
 src/boot/me/type.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/boot/me')

diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml
index b364ff56..10045e07 100644
--- a/src/boot/me/type.ml
+++ b/src/boot/me/type.ml
@@ -1192,7 +1192,9 @@ let process_crate (cx:ctxt) (crate:Ast.crate) : unit =
         | Ast.STMT_log atom ->
             begin
               match atom with
-                  Ast.ATOM_lval lv -> set_auto_deref lv true
+                  Ast.ATOM_lval lv ->
+                    unify_lval rval_ctx lv (any());
+                    set_auto_deref lv true
                 | _ -> ()
             end
 
-- 
cgit v1.2.3