From 06caabd50dc592164cc1d86c2dadfccd25400326 Mon Sep 17 00:00:00 2001
From: Mehdi Bouaziz <mbouaziz@fb.com>
Date: Wed, 24 Apr 2019 05:23:34 -0700
Subject: [PATCH] Fix deadcode

Reviewed By: ngorogiannis

Differential Revision: D15062305

fbshipit-source-id: e40806d6e
---
 infer/src/backend/Payloads.mli | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/infer/src/backend/Payloads.mli b/infer/src/backend/Payloads.mli
index 81d757ff7..9535e8ec9 100644
--- a/infer/src/backend/Payloads.mli
+++ b/infer/src/backend/Payloads.mli
@@ -7,6 +7,9 @@
 
 open! IStd
 
+(* ignore dead modules added by @@deriving fields *)
+[@@@warning "-60"]
+
 (** analysis results *)
 type t =
   { annot_map: AnnotReachabilityDomain.t option