11-04-2016, 10:25 PM
We are currently mostly using a custom linter made by @piotrdz - https://github.com/colobot/colobot-lint, but I don't think it has rules like the one you mentioned. It's usefulness is currently a bit limited anyway as it emits an awful amount of warnings related to old parts of original Colobot code, which in some places is horribly wrong like @tomaszkax86 mentioned.
The exact line you mention is a part of lights debugging code which is not really used so nobody noticed this error, it does appear to be wrong though.
The exact line you mention is a part of lights debugging code which is not really used so nobody noticed this error, it does appear to be wrong though.