diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/boot/me/type.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml index acbd30bc..215d146d 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 |