From 690bae30d0b6163f23075bf22fa5b4faf248104f Mon Sep 17 00:00:00 2001 From: Varun Arora Date: Mon, 26 Mar 2018 08:25:34 -0700 Subject: [PATCH] [reporting][perf] Stats type string is redundant info, already contained in relevant path Summary: - No need to log the string of stats type when registering a perf Epilogue Reviewed By: dulmarod Differential Revision: D7398544 fbshipit-source-id: 681a956 --- infer/src/backend/PerfStats.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/infer/src/backend/PerfStats.ml b/infer/src/backend/PerfStats.ml index 45f3c3f58..8023ac6a6 100644 --- a/infer/src/backend/PerfStats.ml +++ b/infer/src/backend/PerfStats.ml @@ -358,5 +358,4 @@ let get_reporter stats_type = let register_report_at_exit stats_type = let relative_path = relative_path_of_stats_type stats_type in register_report TimeAndMemory stats_type ; - Epilogues.register ~f:(get_reporter stats_type) - (string_of_stats_type stats_type ^ "stats reporting in " ^ relative_path) + Epilogues.register ~f:(get_reporter stats_type) ("stats reporting in " ^ relative_path)