diff --git a/src/Init/Lean/Parser/Parser.lean b/src/Init/Lean/Parser/Parser.lean
index 9ea5742b2b..78723126fa 100644
--- a/src/Init/Lean/Parser/Parser.lean
+++ b/src/Init/Lean/Parser/Parser.lean
@@ -619,7 +619,7 @@ def quotedCharFn : ParserFn
   if input.atEnd i then s.mkEOIError
   else
     let curr := input.get i;
-    if curr == '\\' || curr == '\"' || curr == '\'' || curr == 'n' || curr == 't' then
+    if curr == '\\' || curr == '\"' || curr == '\'' || curr == 'r' || curr == 'n' || curr == 't' then
       s.next input i
     else if curr == 'x' then
       andthenFn hexDigitFn hexDigitFn c (s.next input i)