Fix deadcode

Reviewed By: ngorogiannis Differential Revision: D15062305 fbshipit-source-id: e40806d6e
6 years ago · 06caabd50d
parent 68d0fa8f44
commit 06caabd50d
1 changed files with 3 additions and 0 deletions
--- 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