diff --git a/src/xref2/ident.ml b/src/xref2/ident.ml index 7fe4285cc7..5b1de490fe 100644 --- a/src/xref2/ident.ml +++ b/src/xref2/ident.ml @@ -367,8 +367,7 @@ end let hash : any -> int = Hashtbl.hash -let compare : any -> any -> int = - fun a b -> compare (int_of_any a) (int_of_any b) +let compare : any -> any -> int = fun a b -> int_of_any a - int_of_any b module Maps = struct module Module = Map.Make (struct