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 '\\';