diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml
index 2a208db7043..0d4081af3dc 100644
--- a/src/boot/me/type.ml
+++ b/src/boot/me/type.ml
@@ -522,7 +522,7 @@ let process_crate (cx:ctxt) (crate:Ast.crate) : unit =
               let rec unify ty =
                 match ty with
                     Ast.TY_tup (elem_tys:Ast.ty array) ->
-                      if (Array.length elem_tys) <> (Array.length tvs)
+                      if (Array.length elem_tys) < (Array.length tvs)
                       then fail ()
                       else
                         let check_elem i tv =