From 5ed234ccd07bfcb351858ad934d6e5e47ec44ac4 Mon Sep 17 00:00:00 2001 From: Jeremy Dubreil Date: Tue, 6 Feb 2018 10:24:13 -0800 Subject: [PATCH] [infer][checkers] remove leftover debugging code Reviewed By: mbouaziz Differential Revision: D6910304 fbshipit-source-id: d53817e --- infer/src/absint/Checkers.ml | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) 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