[infer][checkers] remove leftover debugging code

Reviewed By: mbouaziz

Differential Revision: D6910304

fbshipit-source-id: d53817e

infer/src/absint/Checkers.ml

@@ -85,9 +85,5 @@ module ST = struct
       in
       origin_elements @ [Errlog.make_trace_element 0 loc description []]
     in
-    if not suppressed then (
-      L.progress "%s: %a: %s@\n" kind.IssueType.unique_id SourceFile.pp loc.Location.file
-        (Typ.Procname.to_string proc_name) ;
-      L.progress "%s@." description ;
-      Reporting.log_error_deprecated proc_name ~loc ~ltr:trace exn )
+    if not suppressed then Reporting.log_error_deprecated proc_name ~loc ~ltr:trace exn
 end