… | … | ||
---|---|---|---|
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 |