From f127d1ca9ea5e9e206c6f9e11f3f6d2ed931fa41 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ezgi=20=C3=87i=C3=A7ek?= Date: Tue, 9 Apr 2019 05:11:36 -0700 Subject: [PATCH] [reportdiff] Remove Internal error Reviewed By: martintrojer Differential Revision: D14851206 fbshipit-source-id: 731e2cf56 --- infer/src/backend/Differential.ml | 5 ----- 1 file changed, 5 deletions(-) diff --git a/infer/src/backend/Differential.ml b/infer/src/backend/Differential.ml index 8ab1cec16..6b1f59d11 100644 --- a/infer/src/backend/Differential.ml +++ b/infer/src/backend/Differential.ml @@ -150,11 +150,6 @@ let issue_of_cost cost_info ~delta ~prev_cost ~curr_cost = ("", cost_info.Jsonbug_t.procedure_id) in let procname = ExternalPerfData.make_void_signature_procname class_name method_name in - Logging.internal_error - "@\n\ - [DIFF ANALYSIS] class_name = '%s' method_name = '%s' procedure_id = '%s' Procname = \ - '%a' @\n" - class_name method_name cost_info.Jsonbug_t.procedure_id Typ.Procname.pp procname ; let source_file = SourceFile.create ~warn_on_error:false file in let issue_type = if CostDomain.BasicCost.is_top curr_cost then IssueType.infinite_execution_time_call