From 767606b98e2d1e131d4ec77bc71fbc66ea92452b Mon Sep 17 00:00:00 2001
From: Sam Blackshear <shb@fb.com>
Date: Fri, 6 Apr 2018 09:12:15 -0700
Subject: [PATCH] [quandary] fix unintended markdown formatting in error
 messages

Reviewed By: jeremydubreil

Differential Revision: D7529032

fbshipit-source-id: c40b94b
---
 infer/src/quandary/ClangTrace.ml | 6 +++---
 infer/src/quandary/JavaTrace.ml  | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/infer/src/quandary/ClangTrace.ml b/infer/src/quandary/ClangTrace.ml
index 9bd8cb682..df856314e 100644
--- a/infer/src/quandary/ClangTrace.ml
+++ b/infer/src/quandary/ClangTrace.ml
@@ -179,17 +179,17 @@ module SourceKind = struct
 
   let pp fmt = function
     | Endpoint (formal_name, _) ->
-        F.fprintf fmt "Endpoint[%s]" (Mangled.to_string formal_name)
+        F.fprintf fmt "Endpoint\\[%s\\]" (Mangled.to_string formal_name)
     | EnvironmentVariable ->
         F.fprintf fmt "EnvironmentVariable"
     | ReadFile ->
         F.fprintf fmt "File"
     | CommandLineFlag (var, _) ->
-        F.fprintf fmt "CommandLineFlag[%a]" Var.pp var
+        F.fprintf fmt "CommandLineFlag\\[%a\\]" Var.pp var
     | Other ->
         F.fprintf fmt "Other"
     | UserControlledEndpoint (formal_name, _) ->
-        F.fprintf fmt "UserControlledEndpoint[%s]" (Mangled.to_string formal_name)
+        F.fprintf fmt "UserControlledEndpoint\\[%s\\]" (Mangled.to_string formal_name)
 end
 
 module CppSource = Source.Make (SourceKind)
diff --git a/infer/src/quandary/JavaTrace.ml b/infer/src/quandary/JavaTrace.ml
index 50908b60e..3390c1b6c 100644
--- a/infer/src/quandary/JavaTrace.ml
+++ b/infer/src/quandary/JavaTrace.ml
@@ -247,7 +247,7 @@ module SourceKind = struct
       | DrawableResource pvar ->
           Pvar.to_string pvar
       | Endpoint (formal_name, _) ->
-          F.asprintf "Endpoint[%s]" (Mangled.to_string formal_name)
+          F.asprintf "Endpoint\\[%s\\]" (Mangled.to_string formal_name)
       | Intent ->
           "Intent"
       | IntentFromURI ->