From b8e5cfeb7ba9cb0408b5e27a79a18018ad6509d6 Mon Sep 17 00:00:00 2001 From: Roman Venediktov Date: Fri, 20 Dec 2024 13:59:50 +0100 Subject: [PATCH] Fixed \r escaping --- src/X86_64.ml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/X86_64.ml b/src/X86_64.ml index 9c5845c2e..d4574d465 100644 --- a/src/X86_64.ml +++ b/src/X86_64.ml @@ -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 '\\';