Skip to content

Commit

Permalink
Fix missing escape for "\\"
Browse files Browse the repository at this point in the history
  • Loading branch information
Octachron committed Jul 14, 2017
1 parent 80097bc commit 8d5b6b4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion typing/oprint.ml
Expand Up @@ -81,7 +81,7 @@ let print_out_string ppf s =
pp_print_string ppf (String.sub s left (right - left))
else
let c = s.[right] in
if Char.code c <= 0x1F || c = '\x7F' || c = '"' then
if Char.code c <= 0x1F || c = '\x7F' || c = '"' || c ='\\' then
begin
pp_print_string ppf (String.sub s left (right - left));
pp_print_string ppf (if c ='"' then {|\"|} else Char.escaped c);
Expand Down

0 comments on commit 8d5b6b4

Please sign in to comment.