diff --git a/infer/src/backend/Summary.ml b/infer/src/backend/Summary.ml
index 895a5706d..9ad8442ba 100644
--- a/infer/src/backend/Summary.ml
+++ b/infer/src/backend/Summary.ml
@@ -268,16 +268,6 @@ module OnDisk = struct
     else Option.map (get model_name) ~f:(fun (s : full_summary) -> s.proc_desc)
 
 
-  (** Try to find the attributes for a defined proc. First look at specs (to get attributes computed
-      by analysis) then look at the attributes table. If no attributes can be found, return None. *)
-  let proc_resolve_attributes proc_name =
-    match get proc_name with
-    | Some summary ->
-        Some (get_attributes summary)
-    | None ->
-        Attributes.load proc_name
-
-
   (** Save summary for the procedure into the spec database *)
   let store (summary : t) =
     let proc_name = get_proc_name summary in
diff --git a/infer/src/backend/Summary.mli b/infer/src/backend/Summary.mli
index df04fc22a..78df563be 100644
--- a/infer/src/backend/Summary.mli
+++ b/infer/src/backend/Summary.mli
@@ -70,10 +70,6 @@ module OnDisk : sig
   val reset : Procdesc.t -> t
   (** Reset a summary rebuilding the dependents and preserving the proc attributes if present. *)
 
-  val proc_resolve_attributes : Procname.t -> ProcAttributes.t option
-  (** Try to find the attributes for a defined proc. First look at specs (to get attributes computed
-      by analysis) then look at the attributes table. If no attributes can be found, return None. *)
-
   val store_analyzed : t -> unit
   (** Save summary for the procedure into the spec database *)
 
diff --git a/infer/src/backend/ondemand.ml b/infer/src/backend/ondemand.ml
index 0594d2c06..fbef91a49 100644
--- a/infer/src/backend/ondemand.ml
+++ b/infer/src/backend/ondemand.ml
@@ -68,10 +68,8 @@ let should_be_analyzed proc_attributes =
   (not (is_active proc_name)) (* avoid infinite loops *) && not (already_analyzed proc_name)
 
 
-let get_proc_attr proc_name = Summary.OnDisk.proc_resolve_attributes proc_name
-
 let procedure_should_be_analyzed proc_name =
-  match get_proc_attr proc_name with
+  match Attributes.load proc_name with
   | Some proc_attributes ->
       should_be_analyzed proc_attributes
   | None ->