diff options
author | Andrei Karas <akaras@inbox.ru> | 2013-07-01 01:25:29 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2013-07-01 01:28:35 +0300 |
commit | dde6e5de43ed2d50c02022042f68fa866779c15a (patch) | |
tree | bb80e7141bf3392621ae65e2b59fe50718400a82 /src/gui | |
parent | 49012d867582a90ea2148454862750d4e4117e00 (diff) | |
download | mv-dde6e5de43ed2d50c02022042f68fa866779c15a.tar.gz mv-dde6e5de43ed2d50c02022042f68fa866779c15a.tar.bz2 mv-dde6e5de43ed2d50c02022042f68fa866779c15a.tar.xz mv-dde6e5de43ed2d50c02022042f68fa866779c15a.zip |
improve size() usage in botcheckerwindow.
Diffstat (limited to 'src/gui')
-rw-r--r-- | src/gui/botcheckerwindow.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/gui/botcheckerwindow.cpp b/src/gui/botcheckerwindow.cpp index 97e01b4b2..a18669da0 100644 --- a/src/gui/botcheckerwindow.cpp +++ b/src/gui/botcheckerwindow.cpp @@ -124,8 +124,9 @@ public: } const unsigned int curTime = cur_time; + const unsigned int sz = mPlayers.size(); // set up widgets - for (unsigned int r = 0; r < mPlayers.size(); ++r) + for (unsigned int r = 0; r < sz; ++r) { if (!mPlayers.at(r)) continue; |