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)