Tiny style cleanup in a pattern match in type.ml

2010-08-26 11:20:55 -07:00 · 2010-08-26 11:20:55 -07:00 · ff9ecc1128
commit ff9ecc1128
parent 09417f81aa
1 changed files with 1 additions and 1 deletions
--- 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