From 1d792f0b489ba05eaca3150ed7df828f7301d1f0 Mon Sep 17 00:00:00 2001
From: Sam Blackshear <shb@fb.com>
Date: Thu, 19 Apr 2018 11:19:33 -0700
Subject: [PATCH] [quandary] fix formatting of endpoint traces, again

Reviewed By: jeremydubreil

Differential Revision: D7678443

fbshipit-source-id: 19ece43
---
 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 178bf6784..4ad636705 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 00780af3c..7d8a451a2 100644
--- a/infer/src/quandary/JavaTrace.ml
+++ b/infer/src/quandary/JavaTrace.ml
@@ -250,7 +250,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 ->