[infer][ondemand] use the result of `Ondemand.analyze_proc_name` in `Summary.read_summary`

Summary: Now that all the checkers are now run in a way that will prevent conflicts between them, we can make this change that was breaking the analysis.

Reviewed By: jvillard

Differential Revision: D4621953

fbshipit-source-id: f17c729

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