Skip to content

Commit cba91b8

Browse files
committed
topology: Use specialised compare for CPUSet
Signed-off-by: Pau Ruiz Safont <pau.ruizsafont@cloud.com>
1 parent 3b08dfa commit cba91b8

File tree

1 file changed

+1
-5
lines changed

1 file changed

+1
-5
lines changed

ocaml/xenopsd/lib/topology.ml

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -15,11 +15,7 @@
1515
module D = Debug.Make (struct let name = "topology" end)
1616

1717
module CPUSet = struct
18-
include Set.Make (struct
19-
type t = int
20-
21-
let compare (x : int) (y : int) = compare x y
22-
end)
18+
include Set.Make (Int)
2319

2420
let pp_dump = Fmt.using to_seq Fmt.(Dump.seq int)
2521

0 commit comments

Comments
 (0)