diff -r 07cde1e38b06 -r 431c842fd09a Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheck.py
--- a/Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheck.py Sun Apr 27 19:18:34 2014 +0200
+++ b/Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheck.py Sun Apr 27 19:40:48 2014 +0200
@@ -165,7 +165,7 @@
results = []
lines = codestring.splitlines()
try:
- warnings = Checker(module, filename)
+ warnings = Checker(module, filename, withDoctest=True)
warnings.messages.sort(key=lambda a: a.lineno)
for warning in warnings.messages:
if ignoreStarImportWarnings and \
