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 """ | '>' -> Some ">" @@ -52,9 +51,6 @@ let escape_xml s = Some "&" | '%' -> Some "%" - | c when Char.to_int c > 127 -> - (* non-ascii character: escape *) - Some ("&#" ^ string_of_int (Char.to_int c) ^ ";") | _ -> None in