From 77cf4a880cf99011981ebfc80d9ef7367845f21b Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Wed, 30 Jun 2010 15:16:37 -0700
Subject: [PATCH] Pick out error in type due to delightfully clear logging.

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

diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml
index 6a3ca920cdd..97dc2c15ac4 100644
--- a/src/boot/me/type.ml
+++ b/src/boot/me/type.ml
@@ -438,7 +438,7 @@ let process_crate (cx:ctxt) (crate:Ast.crate) : unit =
           | (TYSPEC_collection tv, TYSPEC_resolved (params, ty)) ->
               let rec unify ty =
                 match ty with
-                    Ast.TY_vec ty -> unify_ty auto_deref ty tv; ty
+                    Ast.TY_vec ty' -> unify_ty auto_deref ty' tv; ty
                   | Ast.TY_str ->
                       unify_ty auto_deref (Ast.TY_mach TY_u8) tv; ty
                   | Ast.TY_exterior ty