From 48dcd7bb92b8782372d65b60fcf8e58631c913be Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Tue, 29 Nov 2016 16:39:17 -0800
Subject: [PATCH] ppx_compare Source

Reviewed By: sblackshear

Differential Revision: D4232401

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

diff --git a/infer/src/checkers/Source.ml b/infer/src/checkers/Source.ml
index ac401d039..831458765 100644
--- a/infer/src/checkers/Source.ml
+++ b/infer/src/checkers/Source.ml
@@ -21,7 +21,7 @@ module type S = sig
 end
 
 module Dummy = struct
-  type t = unit
+  type t = unit [@@deriving compare]
 
   let call_site _ = CallSite.dummy
 
@@ -29,8 +29,6 @@ module Dummy = struct
 
   let make kind _ = kind
 
-  let compare = Pervasives.compare
-
   let pp _ () = ()
 
   let is_footprint _ = false