diff --git a/infer/src/checkers/summary.ml b/infer/src/checkers/summary.ml
index bb1b7c8e2..1c969db83 100644
--- a/infer/src/checkers/summary.ml
+++ b/infer/src/checkers/summary.ml
@@ -44,8 +44,7 @@ module Make (H : Helper) = struct
         failwithf "Summary for %a should exist, but does not!@." Typ.Procname.pp pname
 
   let read_summary caller_pdesc callee_pname =
-    ignore (Ondemand.analyze_proc_name ~propagate_exceptions:false caller_pdesc callee_pname);
-    match Specs.get_summary callee_pname with
+    match Ondemand.analyze_proc_name ~propagate_exceptions:false caller_pdesc callee_pname with
     | None -> None
     | Some summary -> H.read_from_payload summary.Specs.payload
 end