From 3b9bccf1269101b8a587b5b21848cb397e8ad1c3 Mon Sep 17 00:00:00 2001
From: Mehdi Bouaziz <mbouaziz@fb.com>
Date: Tue, 27 Nov 2018 03:24:52 -0800
Subject: [PATCH] [html debug] Do not escape non-ascii chars

Reviewed By: skcho

Differential Revision: D13187822

fbshipit-source-id: 2b2e3d248
---
 infer/src/istd/Escape.ml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/infer/src/istd/Escape.ml b/infer/src/istd/Escape.ml
index 2312dbea5..d2089149f 100644
--- a/infer/src/istd/Escape.ml
+++ b/infer/src/istd/Escape.ml
@@ -42,7 +42,6 @@ let escape_csv s =
 let escape_xml s =
   let map = function
     | '"' ->
-        (* on next line to avoid bad indentation *)
         Some "&quot;"
     | '>' ->
         Some "&gt;"
@@ -52,9 +51,6 @@ let escape_xml s =
         Some "&amp;"
     | '%' ->
         Some "&#37;"
-    | c when Char.to_int c > 127 ->
-        (* non-ascii character: escape *)
-        Some ("&#" ^ string_of_int (Char.to_int c) ^ ";")
     | _ ->
         None
   in