From fe7a0c24831c6e53b314d55ce65f4f58c7c6acec Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Tue, 29 Nov 2016 16:40:27 -0800
Subject: [PATCH] ppx_compare State

Reviewed By: cristianoc

Differential Revision: D4232406

fbshipit-source-id: 551e6cb
---
 infer/src/backend/state.ml | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/infer/src/backend/state.ml b/infer/src/backend/state.ml
index 59dc74e35..e1d0d5112 100644
--- a/infer/src/backend/state.ml
+++ b/infer/src/backend/state.ml
@@ -164,10 +164,7 @@ let instrs_normalize instrs =
 let mk_find_duplicate_nodes proc_desc : (Procdesc.Node.t -> Procdesc.NodeSet.t) =
   let module M = (* map from (loc,kind) *)
     Map.Make(struct
-      type t = Location.t * Procdesc.Node.nodekind
-      let compare (loc1, k1) (loc2, k2) =
-        let n = Location.compare loc1 loc2 in
-        if n <> 0 then n else Procdesc.Node.compare_nodekind k1 k2
+      type t = Location.t * Procdesc.Node.nodekind [@@deriving compare]
     end) in
 
   let module S = (* set of nodes with normalized insructions *)