in lean/scripts/lint_style.py [0:0]
def parathesis_space_check(lines, path): errors = [] for line_nr, line in enumerate(lines, 1): if "( " in line or " )" in line: errors += [(ERR_PSP, line_nr, path)] return errors