diff options
Diffstat (limited to 'src/boot')
| -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 77f8644b..888472fa 100644 --- a/src/boot/me/type.ml +++ b/src/boot/me/type.ml @@ -182,7 +182,7 @@ let check_stmt (cx:Semant.ctxt) : (fn_ctx -> Ast.stmt -> unit) = None, _ -> () | Some a, Ast.TY_param (idx, effect) -> param_handler a idx effect - | Some a, _ -> demand a b + | Some a, _ -> demand b a in Common.arr_iter2 maybe_demand arg_tys in_slot_tys; get_slot_ty (ty_sig.Ast.sig_output_slot) |