From 71a2f9bd1d667868910a1ca5108654448e98291c Mon Sep 17 00:00:00 2001
From: Mitya Lyubarskiy <mityal@fb.com>
Date: Mon, 15 Apr 2019 01:59:26 -0700
Subject: [PATCH] [infer] fix a compiler warning

Reviewed By: jberdine

Differential Revision: D14912508

fbshipit-source-id: f2f6a94be
---
 infer/src/backend/ExternalPerfData.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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