|
@@ -154,7 +154,7 @@ let type_function ctx (args : function_arguments) ret fmode e do_display p =
|
|
|
{ e with eexpr = TBlock (ev :: l) }
|
|
|
else begin
|
|
|
let rec has_v e = match e.eexpr with
|
|
|
- | TLocal v' when v == v -> true
|
|
|
+ | TLocal v' when v' == v -> true
|
|
|
| _ -> check_expr has_v e
|
|
|
in
|
|
|
let rec loop el = match el with
|