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