Python: update comment

This commit is contained in:
Rasmus Lerchedahl Petersen
2021-08-19 10:21:19 +02:00
parent 21f683d531
commit 3c647c65bf

View File

@@ -369,7 +369,7 @@ abstract class RegexString extends Expr {
// hex value \xhh
this.getChar(start + 1) = "x" and end = start + 4
or
// octal value \ooo
// octal value \o, \oo, or \ooo
end in [start + 2 .. start + 4] and
forall(int i | i in [start + 1 .. end - 1] | this.isOctal(i)) and
not (