ppx_compare Dom

Reviewed By: cristianoc Differential Revision: D4232418 fbshipit-source-id: 739d1b7
neven7 · Nov 30, 2016 · 9fb2258 · 9fb2258
1 parent 81d3e70
commit 9fb2258
Showing 1 changed file with 1 addition and 5 deletions.
diff --git 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} *)