P2p: Fix Hashtbl for PeerRing

Export hash in INTERNAL_HASH. now Peer_id.Id is hashable
This commit is contained in:
Pietro 2018-03-13 16:04:10 +01:00 committed by Grégoire Henry
parent 3683e948c1
commit ce92f70883
2 changed files with 2 additions and 1 deletions

View File

@ -95,6 +95,8 @@ module type INDEXES = sig
type t type t
val hash : t -> int
val to_path: t -> string list -> string list val to_path: t -> string list -> string list
val of_path: string list -> t option val of_path: string list -> t option
val of_path_exn: string list -> t val of_path_exn: string list -> t

View File

@ -9,7 +9,6 @@
module PeerRing = Ring.MakeTable(struct module PeerRing = Ring.MakeTable(struct
include P2p_peer.Id include P2p_peer.Id
let hash = Hashtbl.hash
end) end)
module PatriciaTree(V:HashPtree.Value) = struct module PatriciaTree(V:HashPtree.Value) = struct