diff --git a/infer/src/checkers/annotationReachability.ml b/infer/src/checkers/annotationReachability.ml
index 08d7b5840..82b4dce65 100644
--- a/infer/src/checkers/annotationReachability.ml
+++ b/infer/src/checkers/annotationReachability.ml
@@ -115,8 +115,7 @@ let report_annotation_stack ({InterproceduralAnalysis.proc_desc; err_log} as ana
 
 let report_call_stack end_of_stack lookup_next_calls report call_site sink_map =
   let lookup_location pname =
-    Option.value_map ~f:ProcAttributes.get_loc ~default:Location.dummy
-      (AnalysisCallbacks.proc_resolve_attributes pname)
+    Option.value_map ~f:ProcAttributes.get_loc ~default:Location.dummy (Attributes.load pname)
   in
   let rec loop fst_call_loc visited_pnames trace (callee_pname, call_loc) =
     if end_of_stack callee_pname then report fst_call_loc trace callee_pname call_loc
@@ -206,7 +205,7 @@ end
 
 module CxxAnnotationSpecs = struct
   let src_path_of pname =
-    match AnalysisCallbacks.proc_resolve_attributes pname with
+    match Attributes.load pname with
     | Some proc_attrs ->
         let loc = ProcAttributes.get_loc proc_attrs in
         SourceFile.to_string loc.file