diff options
Diffstat (limited to 'pretyping/classops.ml')
| -rw-r--r-- | pretyping/classops.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/pretyping/classops.ml b/pretyping/classops.ml index 3333845057..1e1f2184c4 100644 --- a/pretyping/classops.ml +++ b/pretyping/classops.ml @@ -479,9 +479,7 @@ let coercions () = List.rev (CoeTypMap.fold (fun _ y acc -> y::acc) !coercion_tab []) let inheritance_graph () = - (** FIXME: in 3.12 use Map.keys *) - let fold k v acc = (k, v) :: acc in - ClPairMap.fold fold !inheritance_graph [] + ClPairMap.bindings !inheritance_graph let coercion_of_reference r = let ref = Nametab.global r in |