diff --git a/infer/src/checkers/Passthrough.ml b/infer/src/checkers/Passthrough.ml
index fe5902a04..9efa579ec 100644
--- a/infer/src/checkers/Passthrough.ml
+++ b/infer/src/checkers/Passthrough.ml
@@ -17,6 +17,7 @@ type t =
   {
     site : CallSite.t;
   }
+[@@deriving compare]
 
 let make site =
   { site }
@@ -24,11 +25,6 @@ let make site =
 let site t =
   t.site
 
-let compare pt1 pt2 =
-  (match pt1, pt2 with
-   | {site=site1}, {site=site2} -> CallSite.compare site1 site2
-  )[@warning "+9"]
-
 let pp fmt s =
   F.fprintf fmt "%a" CallSite.pp s.site
 
diff --git a/infer/src/checkers/Passthrough.mli b/infer/src/checkers/Passthrough.mli
index 37e84d443..32d6a748d 100644
--- a/infer/src/checkers/Passthrough.mli
+++ b/infer/src/checkers/Passthrough.mli
@@ -9,14 +9,12 @@
 
 module F = Format
 
-type t
+type t [@@deriving compare]
 
 val make : CallSite.t -> t
 
 val site : t -> CallSite.t
 
-val compare : t -> t -> int
-
 val pp : F.formatter -> t -> unit
 
 module Set : PrettyPrintable.PPSet with type elt = t