Fix coverity #29357
authorTobias Markus <tobbi@mozilla-uk.org>
Fri, 27 Feb 2015 16:30:56 +0000 (17:30 +0100)
committerTobias Markus <tobbi@mozilla-uk.org>
Fri, 27 Feb 2015 16:30:56 +0000 (17:30 +0100)
commit16821f2758e779138ebfe71b17cbb77f1b1aaf38
tree1d0341b8ba23232b2c43b6c794453e2e82b92be5
parent82bb12ef9e35fb9af8fab2de99ad853f57391d33
Fix coverity #29357
src/supertux/statistics.cpp