Fixed \r escaping

This commit is contained in:
Roman Venediktov 2024-12-20 13:59:50 +01:00
parent 5dfd0a3b43
commit b8e5cfeb7b

View file

@ -1304,6 +1304,10 @@ class env prg mode =
Buffer.add_char buf '\\';
Buffer.add_char buf 't';
iterate (i + 2)
| 'r' ->
Buffer.add_char buf '\\';
Buffer.add_char buf 'r';
iterate (i + 2)
| _ ->
Buffer.add_char buf '\\';
Buffer.add_char buf '\\';