diff --git a/infer/src/absint/annotations.ml b/infer/src/absint/annotations.ml index 782aae722..9934f2eea 100644 --- a/infer/src/absint/annotations.ml +++ b/infer/src/absint/annotations.ml @@ -163,7 +163,7 @@ let pdesc_return_annot_ends_with pdesc annot = let pname_has_return_annot pname predicate = - match AnalysisCallbacks.proc_resolve_attributes pname with + match Attributes.load pname with | Some attributes -> predicate attributes.ProcAttributes.method_annotation.return | None ->