revert accidental change

This commit is contained in:
Niels Lohmann 2022-04-30 14:13:05 +02:00
parent 72755599a6
commit 6303944a4a
No known key found for this signature in database
GPG Key ID: 7F3CEA63AE251B69

View File

@ -3629,7 +3629,7 @@ def CheckComment(line, filename, linenum, next_line_start, error):
commentpos = line.find('//')
if commentpos != -1:
# Check if the // may be in quotes. If so, ignore it
if re.sub(r'', '', line[0:commentpos]).count('"') % 2 == 0:
if re.sub(r'\\.', '', line[0:commentpos]).count('"') % 2 == 0:
# Allow one space for new scopes, two spaces otherwise:
if (not (Match(r'^.*{ *//', line) and next_line_start == commentpos) and
((commentpos >= 1 and