diff options
Diffstat (limited to 'src/return_analysis.ml')
| -rw-r--r-- | src/return_analysis.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/return_analysis.ml b/src/return_analysis.ml index f60366fc..06565b01 100644 --- a/src/return_analysis.ml +++ b/src/return_analysis.ml @@ -114,7 +114,7 @@ let existentialize_annot funcl_annot annot = when Id.compare ty_id (mk_id "atom") = 0 -> let tyvars = Env.get_typ_vars funcl_env |> KBindings.bindings in let toplevel_kids = - List.filter (fun (kid, bk) -> match bk with BK_int -> true | _ -> false) tyvars |> List.map fst |> KidSet.of_list + List.filter (fun (kid, k) -> match k with K_int -> true | _ -> false) tyvars |> List.map fst |> KidSet.of_list in let new_kids = KidSet.diff (tyvars_of_nexp nexp) toplevel_kids in |