diff --git a/infer/src/absint/Checkers.ml b/infer/src/absint/Checkers.ml
index e13160f17..f863f0824 100644
--- a/infer/src/absint/Checkers.ml
+++ b/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