From cf6e881822b2f081fa2483e862e3332a5e91fe67 Mon Sep 17 00:00:00 2001 From: Mitya Lyubarskiy Date: Tue, 19 Nov 2019 07:00:30 -0800 Subject: [PATCH] [deadcode] fix deadcode Summary: as per title Reviewed By: martintrojer Differential Revision: D18592786 fbshipit-source-id: c3d1f9457 --- infer/src/nullsafe/ThirdPartyAnnotationGlobalRepo.mli | 3 --- 1 file changed, 3 deletions(-) diff --git a/infer/src/nullsafe/ThirdPartyAnnotationGlobalRepo.mli b/infer/src/nullsafe/ThirdPartyAnnotationGlobalRepo.mli index c866d2650..378b9258f 100644 --- a/infer/src/nullsafe/ThirdPartyAnnotationGlobalRepo.mli +++ b/infer/src/nullsafe/ThirdPartyAnnotationGlobalRepo.mli @@ -15,8 +15,5 @@ val initialize : absolute_path_to_repo:string option -> ThirdPartyAnnotationInfo val get_repo : unit -> ThirdPartyAnnotationInfo.storage (** Can be accessed only when initialization was done *) -val get_absolute_path_to_repo : unit -> string option -(** Can be accessed only when initialization was done. None if there is no repo (i.e. empty repo) *) - val get_user_friendly_third_party_sig_file_name : filename:string -> string (** Given filename containing the repo signatures, render it in a way convenient for the user *)