From ff9ecc11287083c761d6ab58b4a2e81da232195b Mon Sep 17 00:00:00 2001 From: Patrick Walton Date: Thu, 26 Aug 2010 11:20:55 -0700 Subject: [PATCH] Tiny style cleanup in a pattern match in type.ml --- 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 acbd30bcb46..215d146d1bc 100644 --- a/src/boot/me/type.ml +++ b/src/boot/me/type.ml @@ -490,7 +490,7 @@ let check_stmt (cx:Semant.ctxt) : (fn_ctx -> Ast.stmt -> unit) = (maybe_mutable mut ty, n_boxes) in match infer, internal_check_lval infer lval with - | TYPAT_wild, LTYPE_mono ty -> yield_ty ty + TYPAT_wild, LTYPE_mono ty -> yield_ty ty | TYPAT_ty expected, LTYPE_mono actual -> demand expected actual; yield_ty actual