diff -r fe07a9f16f23 -r 5c677a7f7d51 Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheck.py
--- a/Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheck.py Fri Apr 13 22:32:32 2018 +0200
+++ b/Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheck.py Sat Apr 14 15:08:24 2018 +0200
@@ -273,7 +273,7 @@
lines = traceback.format_exception_only(SyntaxError, detail)
if sys.version_info[0] == 2:
lines = [x.decode(sys.getfilesystemencoding()) for x in lines]
- match = re.match('\s*File "(.+)", line (\d+)',
+ match = re.match(r'\s*File "(.+)", line (\d+)',
lines[0].replace('<string>', filename))
if match is not None:
fn, line = match.group(1, 2)
