From dc0d7619291843fb12a6264296a1c11f3162bd4f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ezgi=20=C3=87i=C3=A7ek?= Date: Wed, 12 Aug 2020 02:00:18 -0700 Subject: [PATCH] [nullsafe] Fix unused sig Summary: Unused signature is breaking `make deadcode` Reviewed By: jvillard Differential Revision: D23073327 fbshipit-source-id: bde3ca086 --- infer/src/nullsafe/ThirdPartyAnnotationInfo.mli | 1 + 1 file changed, 1 insertion(+) diff --git a/infer/src/nullsafe/ThirdPartyAnnotationInfo.mli b/infer/src/nullsafe/ThirdPartyAnnotationInfo.mli index 578effda3..77630e81d 100644 --- a/infer/src/nullsafe/ThirdPartyAnnotationInfo.mli +++ b/infer/src/nullsafe/ThirdPartyAnnotationInfo.mli @@ -48,6 +48,7 @@ val lookup_related_sig_file : storage -> package:string -> string option (** If the package is third-party, return the relevant .sig file to add signatures for this package. *) val lookup_related_sig_file_for_proc : storage -> Procname.t -> string option + [@@warning "-32"] (** If the function is third-party (based on its package), return relevant .sig file *) val lookup_related_sig_file_for_java_proc : storage -> Procname.Java.t -> string option