diff -r 04896c4a5a8e -r 599681bf149a Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheck.py
--- a/Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheck.py Sun Aug 23 11:31:11 2015 +0200
+++ b/Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheck.py Sun Aug 23 11:37:17 2015 +0200
@@ -228,7 +228,7 @@
if sys.version_info[0] == 2:
lines = [x.decode(sys.getfilesystemencoding()) for x in lines]
match = re.match('\s*File "(.+)", line (\d+)',
- lines[0].replace('<string>', '{0}'.format(filename)))
+ lines[0].replace('<string>', filename))
if match is not None:
fn, line = match.group(1, 2)
if lines[1].startswith('SyntaxError:'):
