diff --git a/infer/src/checkers/TraceElem.ml b/infer/src/checkers/TraceElem.ml
index 7b099abd8..8fef9a84c 100644
--- a/infer/src/checkers/TraceElem.ml
+++ b/infer/src/checkers/TraceElem.ml
@@ -10,9 +10,8 @@
 module F = Format
 
 module type Kind = sig
-  type t
+  type t [@@deriving compare]
 
-  val compare : t -> t -> int
   val pp : F.formatter -> t -> unit
 end