[logging] no longer log a summary when we add it to the specs table

Summary:
Summaries can be big, and they can always be printed via `infer report` if we want to see them.
There's no reason to log them eagerly, even in debug mode.

Reviewed By: jeremydubreil

Differential Revision: D6451815

fbshipit-source-id: 643cd47

infer/src/backend/specs.ml

@@ -562,8 +562,6 @@ let summary_compact sh summary = {summary with payload= payload_compact sh summa
 
 (** Add the summary to the table for the given function *)
 let add_summary (proc_name: Typ.Procname.t) (summary: summary) : unit =
-  L.(debug Analysis Medium)
-    "Adding summary for %a@\n@[<v 2>  %a@]@." Typ.Procname.pp proc_name pp_summary_text summary ;
   Typ.Procname.Hash.replace spec_tbl proc_name summary