diff options
| author | Adam Borowski <kilobyte@angband.pl> | 2013-11-13 16:39:05 +0100 |
|---|---|---|
| committer | Adam Borowski <kilobyte@angband.pl> | 2013-11-15 21:03:43 +0100 |
| commit | cede7d61d912750e3bd04ef9d54f3ffd63fb308f (patch) | |
| tree | 49c3bf8553811a790fbf991aee59448c99d9baad /crawl-ref/source/files.cc | |
| parent | 1eb5ba87ee17c68aa806a7df4ce309b84829a593 (diff) | |
| download | crawl-ref-cede7d61d912750e3bd04ef9d54f3ffd63fb308f.tar.gz crawl-ref-cede7d61d912750e3bd04ef9d54f3ffd63fb308f.zip | |
Don't allocate pointless iterators.
map or set.count() can test the presence of a given key and return 0 or 1
outright.
Diffstat (limited to 'crawl-ref/source/files.cc')
| -rw-r--r-- | crawl-ref/source/files.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crawl-ref/source/files.cc b/crawl-ref/source/files.cc index 8e3b0935dc..f312ef489a 100644 --- a/crawl-ref/source/files.cc +++ b/crawl-ref/source/files.cc @@ -686,7 +686,7 @@ vector<player_save_info> find_all_saved_characters() static_cast<game_type>(i)); const string savedir = _get_savefile_directory(); - if (dirs.find(savedir) != dirs.end()) + if (dirs.count(savedir)) continue; dirs.insert(savedir); |