diff options
| -rw-r--r-- | crawl-ref/source/maps.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crawl-ref/source/maps.cc b/crawl-ref/source/maps.cc index 6540c05401..2c7060f31b 100644 --- a/crawl-ref/source/maps.cc +++ b/crawl-ref/source/maps.cc @@ -914,7 +914,7 @@ static void parse_maps(const std::string &s) { const std::string base = get_base_filename(s); if (map_files_read.find(base) != map_files_read.end()) - end(1, false, "Map file %s has already been read.", base.c_str()); + return; map_files_read.insert(base); |