aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/boot/me/type.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml
index 7943e88b..2e647eb7 100644
--- a/src/boot/me/type.ml
+++ b/src/boot/me/type.ml
@@ -654,7 +654,7 @@ let check_stmt (cx:Semant.ctxt) : (fn_ctx -> Ast.stmt -> unit) =
fn_ctx.fnctx_just_saw_ret <-
match stmt.Common.node with
Ast.STMT_ret _ | Ast.STMT_be _ | Ast.STMT_fail
- | Ast.STMT_yield _ -> true
+ | Ast.STMT_yield -> true
| _ -> false
in