Commit 1c4132e9 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Fix typo.

parent 59716b55
......@@ -45,7 +45,7 @@ let rec abstract_terms kn range_metas float_metas type_kept acc t =
acc, t_const c ty_int
| Tapp (ls, [{ t_node = Tconst (Number.ConstReal _ as c); t_ty = Some {ty_node = Tyapp (ts,[])} }]), _
when not (ts_equal ts ts_real || Sts.mem ts type_kept) && ls_equal ls (fst (Mts.find ts float_metas)) ->
acc, t_const c ty_int
acc, t_const c ty_real
| Tconst (Number.ConstInt _ as c), Some {ty_node = Tyapp (ts,[])}
when not (ts_equal ts ts_int || Sts.mem ts type_kept) ->
let to_int = Mts.find ts range_metas in
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment