From 1209f53952f9c2a5f47b66c958a68ffc5d94be80 Mon Sep 17 00:00:00 2001 From: Sungkeun Cho Date: Wed, 2 Dec 2020 06:50:32 -0800 Subject: [PATCH] [cost] Move the comment about trace for cost increase to www Reviewed By: ezgicicek Differential Revision: D25124014 fbshipit-source-id: 196408b38 --- infer/src/integration/Differential.ml | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/infer/src/integration/Differential.ml b/infer/src/integration/Differential.ml index c0ff73780..1bb5166eb 100644 --- a/infer/src/integration/Differential.ml +++ b/infer/src/integration/Differential.ml @@ -246,10 +246,7 @@ let issue_of_cost kind CostIssues.{complexity_increase_issue; unreachable_issue; in let pp_extra_msg fmt () = if Config.developer_mode then CostItem.pp_cost_msg fmt curr_item - else - Format.fprintf fmt - "Please make sure this is an expected change. You can inspect the trace to understand \ - the complexity increase:" + else Format.fprintf fmt "Please make sure this is an expected change." in let ui_msg = if is_on_ui_thread then