diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml
index 5eec68602d7..b364ff569eb 100644
--- a/src/boot/me/type.ml
+++ b/src/boot/me/type.ml
@@ -369,7 +369,7 @@ let process_crate (cx:ctxt) (crate:Ast.crate) : unit =
           | Ast.TY_constrained (ty, _) ->
               is_comparable_or_ordered comparable ty
           | Ast.TY_mutable ty ->
-              ucx.mut_ok && is_comparable_or_ordered comparable ty
+              is_comparable_or_ordered comparable ty
           | Ast.TY_box ty ->
               ucx.box_ok && is_comparable_or_ordered comparable ty
       in