Skip to content

Commit

Permalink
Use Compat.List.find_map
Browse files Browse the repository at this point in the history
  • Loading branch information
Halbaroth committed Oct 9, 2024
1 parent da5d51c commit e3a6539
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/lib/structures/fpa_rounding.ml
Original file line number Diff line number Diff line change
Expand Up @@ -116,7 +116,7 @@ let fpa_rounding_mode_dty, d_constrs, fpa_rounding_mode, tcst_of_rounding_mode =
let tcst_of_rounding_mode m =
let name = string_of_rounding_mode m in
let opt =
List.find_map
Compat.List.find_map
(fun (DE.{ path; _ } as tcst) ->
let n = get_basename path in
if String.equal name n then Some tcst
Expand Down

0 comments on commit e3a6539

Please sign in to comment.