diff --git a/infer/src/backend/ExternalPerfData.ml b/infer/src/backend/ExternalPerfData.ml index 9cc75559a..df78c97dc 100644 --- a/infer/src/backend/ExternalPerfData.ml +++ b/infer/src/backend/ExternalPerfData.ml @@ -99,7 +99,7 @@ let in_profiler_data_map key = _read_file_perf_data fname ; read_file_flag := true ) ; if PerfProfilerDataMap.is_empty !global_perf_profiler_data then - L.(debug Analysis Medium) "@\n\n\[Perf Profiler Log] WARNING: EMPTY PERF PROFILER DATA@\n" ; + L.(debug Analysis Medium) "@\n\n[Perf Profiler Log] WARNING: EMPTY PERF PROFILER DATA@\n" ; PerfProfilerDataMap.mem key !global_perf_profiler_data | _ -> false