diff --git a/src/bisonpre b/src/bisonpre index 7407f024f..3038f2a06 100755 --- a/src/bisonpre +++ b/src/bisonpre @@ -172,8 +172,8 @@ def warning_check(filename): if re.search(r'(conflicts|warning:|^useless)', line, flags=re.IGNORECASE): - sys.exit("%Error: " + filename + ":" + linenum + ": " + line + - "\n") + sys.exit("%Error: " + filename + ":" + str(linenum) + ": " + + line + "\n") ######################################################################