From 9fb2258284fd2bde4baf0ecdcd05487b1fe23619 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Tue, 29 Nov 2016 16:43:00 -0800
Subject: [PATCH] ppx_compare Dom

Reviewed By: cristianoc

Differential Revision: D4232418

fbshipit-source-id: 739d1b7
---
 infer/src/backend/dom.ml | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/infer/src/backend/dom.ml b/infer/src/backend/dom.ml
index a99f8d3ee..27a5347e9 100644
--- a/infer/src/backend/dom.ml
+++ b/infer/src/backend/dom.ml
@@ -67,11 +67,7 @@ let do_side side f e1 e2 =
 
 module EPset = Set.Make
     (struct
-      type t = Exp.t * Exp.t
-      let compare (e1, e1') (e2, e2') =
-        match (Exp.compare e1 e2) with
-        | i when i <> 0 -> i
-        | _ -> Exp.compare e1' e2'
+      type t = Exp.t * Exp.t [@@deriving compare]
     end)
 
 (** {2 Module for maintaining information about noninjectivity during join} *)