diff -r fe07a9f16f23 -r 5c677a7f7d51 Plugins/CheckerPlugins/CodeStyleChecker/MiscellaneousChecker.py
--- a/Plugins/CheckerPlugins/CodeStyleChecker/MiscellaneousChecker.py Fri Apr 13 22:32:32 2018 +0200
+++ b/Plugins/CheckerPlugins/CodeStyleChecker/MiscellaneousChecker.py Sat Apr 14 15:08:24 2018 +0200
@@ -253,7 +253,8 @@
@rtype tuple of int and str
"""
for lineno, line in enumerate(self.__source[:5]):
- matched = re.search('coding[:=]\s*([-\w_.]+)', line, re.IGNORECASE)
+ matched = re.search(r'coding[:=]\s*([-\w_.]+)',
+ line, re.IGNORECASE)
if matched:
return lineno, matched.group(1)
else:
