diff --git a/tests/lean/parsec1.lean b/tests/lean/parsec1.lean
index 4fd0bb2f0b..c75177d977 100644
--- a/tests/lean/parsec1.lean
+++ b/tests/lean/parsec1.lean
@@ -83,8 +83,8 @@ open lean
 #eval test parse_string_literal "\"\"" ""
 #eval test parse_string_literal "\"\\\"\"" "\""
 #eval test parse_string_literal "\"\\\'\"" "\'"
-#eval test parse_string_literal "\"\\\n\"" "\n"
-#eval test parse_string_literal "\"\\\t\"" "\t"
+#eval test parse_string_literal "\"\\n\"" "\n"
+#eval test parse_string_literal "\"\\t\"" "\t"
 #eval test parse_string_literal "\"\\x4e\"" "N"
 #eval test parse_string_literal "\"\\x4E\"" "N"
 #eval test parse_string_literal "\"\\x7D\"" "}"