diff options
author | xanatos <xanatos@geocities.com> | 2012-06-19 09:48:00 +0300 |
---|---|---|
committer | xanatos <xanatos@geocities.com> | 2012-06-19 09:48:00 +0300 |
commit | 16d567194305d728ca433de4b78eb049a86aa450 (patch) | |
tree | 759d5483c816a741ca24fee95067141dde020870 | |
parent | 4c6b210af0d6047aafe0f600cbcc5122df4132a1 (diff) |
If (for example) the new max_size must be 5 then at the end the queue.size() must be <= 5, so the exit condition must be <=, so the continuing condition must be > (and not >= as it was).
-rw-r--r-- | src/mruset.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mruset.h b/src/mruset.h index ad2e160d3a..a52735182d 100644 --- a/src/mruset.h +++ b/src/mruset.h @@ -51,7 +51,7 @@ public: size_type max_size(size_type s) { if (s) - while (queue.size() >= s) + while (queue.size() > s) { set.erase(queue.front()); queue.pop_front(); |