| … | … | ||
|---|---|---|---|
| 76 | 76 | ||
| 77 | if (i == ht.end ()) | 77 | if (i == ht.end ()) |
| 78 | i = ht.begin (); | 78 | i = ht.begin (); |
| 79 | 79 | ||
| 80 | // go through all strings roughly once every 4 minutes | 80 | // go through all strings roughly once every 4 minutes |
| 81 | int n = ht.size () / 256 + 16000; | 81 | int n = ht.size () / 256 + 16; |
| 82 | 82 | ||
| 83 | for (;;) | 83 | for (;;) |
| 84 | { | 84 | { |
| 85 | if (i == ht.end ()) | 85 | if (i == ht.end ()) |
| 86 | { | 86 | { |
| – | Removed lines |
| + | Added lines |
| < | Changed lines |
| > | Changed lines |