From f73f997e5a1b4965237e14bccb97b00f47afcd0b Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Tue, 29 Nov 2016 16:36:59 -0800
Subject: [PATCH] ppx_compare TraceElem

Reviewed By: cristianoc

Differential Revision: D4232390

fbshipit-source-id: aa25c4a
---
 infer/src/checkers/TraceElem.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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