Python: undo autoformat character mangling

This commit is contained in:
Rasmus Lerchedahl Petersen
2021-06-29 11:06:17 +02:00
parent 135b71b649
commit ffb8938e52

View File

@@ -445,7 +445,7 @@ class RegExpEscape extends RegExpNormalChar {
or
this.getUnescaped() = "t" and result = "\t"
or
this.getUnescaped() = "f" and result = "\f"
this.getUnescaped() = "f" and result = " "
or
isUnicode() and
result = getUnicode()