diff options
Diffstat (limited to 'crawl-ref/source/mapdef.cc')
-rw-r--r-- | crawl-ref/source/mapdef.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/crawl-ref/source/mapdef.cc b/crawl-ref/source/mapdef.cc index 44e487afd3..47971f4191 100644 --- a/crawl-ref/source/mapdef.cc +++ b/crawl-ref/source/mapdef.cc @@ -1304,7 +1304,7 @@ void map_def::read_index(FILE *inf) void map_def::write_depth_ranges(FILE *outf) const { writeShort(outf, depths.size()); - for (int i = 0, size = depths.size(); i < size; ++i) + for (int i = 0, sz = depths.size(); i < sz; ++i) depths[i].write(outf); } @@ -1477,7 +1477,7 @@ std::string map_def::validate_map_def() bool map_def::is_usable_in(const level_id &lid) const { bool any_matched = false; - for (int i = 0, size = depths.size(); i < size; ++i) + for (int i = 0, sz = depths.size(); i < sz; ++i) { const level_range &lr = depths[i]; if (lr.matches(lid)) |