From 94c0cffd56b2622aca18e55697686b7ef0327759 Mon Sep 17 00:00:00 2001
From: David Lively <dflively@fb.com>
Date: Tue, 14 May 2019 11:48:02 -0700
Subject: [PATCH] [checkers] Fiddling w/annotation-reachability-cxx trace
 format

Reviewed By: jeremydubreil

Differential Revision: D15335284

fbshipit-source-id: e768a3f74
---
 infer/src/checkers/annotationReachability.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/src/checkers/annotationReachability.ml b/infer/src/checkers/annotationReachability.ml
index ff5c7e80b..e32a8db26 100644
--- a/infer/src/checkers/annotationReachability.ml
+++ b/infer/src/checkers/annotationReachability.ml
@@ -351,7 +351,7 @@ module CxxAnnotationSpecs = struct
       if List.is_empty overrides then fun _ -> false
       else make_pname_pred overrides ~src:(sinks_src ^ " -> overrides")
     in
-    let call_str = " ->\n    " in
+    let call_str = "\n    -> " in
     let report_cxx_annotation_stack src_summary loc trace stack_str snk_pname call_loc =
       let src_pname = Summary.get_proc_name src_summary in
       let final_trace = List.rev (update_trace call_loc trace) in