diff -r d85fadb263a0 -r 1b8381afe38f Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheck.py --- a/Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheck.py Sun Apr 13 15:45:57 2014 +0200 +++ b/Plugins/CheckerPlugins/SyntaxChecker/SyntaxCheck.py Tue Apr 15 22:41:08 2014 +0200 @@ -90,7 +90,7 @@ try: import builtins except ImportError: - import __builtin__ as builtins #__IGNORE_WARNING__ + import __builtin__ as builtins # __IGNORE_WARNING__ try: if sys.version_info[0] == 2: