aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRabsRincon <ruben@rinconblanco.es>2022-08-13 00:20:15 +0200
committerRabsRincon <ruben@rinconblanco.es>2022-08-13 00:20:15 +0200
commite43662a5622667f17a78824dd29e719af0ab81c9 (patch)
treeb749291656eabbeb53a0a0023ab672b54c5302a2
parentb21a4a04e914dd17de3ed287d105a2d1ed6a1237 (diff)
downloadcompiler-explorer-gh-3908.tar.gz
compiler-explorer-gh-3908.zip
Ooops, extra linegh-3908
-rw-r--r--etc/scripts/util/propscheck.py4
1 files changed, 1 insertions, 3 deletions
diff --git a/etc/scripts/util/propscheck.py b/etc/scripts/util/propscheck.py
index e76644fdf..bc6b633dd 100644
--- a/etc/scripts/util/propscheck.py
+++ b/etc/scripts/util/propscheck.py
@@ -97,9 +97,7 @@ def process_file(file: str):
disabled = set()
with open(file) as f:
- for line_number, line in enumerate(f, start=1)
- for text in f:
- line_number += 1
+ for line_number, text in enumerate(f, start=1):
text = text.strip()
if not text:
continue