diff --git a/infer/src/checkers/uninit.ml b/infer/src/checkers/uninit.ml
index cdd367eb6..2a049b0e4 100644
--- a/infer/src/checkers/uninit.ml
+++ b/infer/src/checkers/uninit.ml
@@ -85,9 +85,7 @@ module TransferFunctions (CFG : ProcCfg.S) = struct
 
   let is_array t = match t.Typ.desc with Typ.Tarray _ -> true | _ -> false
 
-  let get_formals pname =
-    AnalysisCallbacks.proc_resolve_attributes pname |> Option.map ~f:ProcAttributes.get_formals
-
+  let get_formals pname = Attributes.load pname |> Option.map ~f:ProcAttributes.get_formals
 
   let should_report_var pdesc tenv maybe_uninit_vars access_expr =
     let base = HilExp.AccessExpression.get_base access_expr in