diff options
Diffstat (limited to 'crawl-ref/source/maps.cc')
-rw-r--r-- | crawl-ref/source/maps.cc | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/crawl-ref/source/maps.cc b/crawl-ref/source/maps.cc index 6edf4981b0..0637a11742 100644 --- a/crawl-ref/source/maps.cc +++ b/crawl-ref/source/maps.cc @@ -315,11 +315,7 @@ static void parse_maps(const std::string &s) { FILE *dat = fopen(s.c_str(), "r"); if (!dat) - { - fprintf(stderr, "Failed to open %s for reading: %d\n", s.c_str(), - errno); - exit(1); - } + end(1, true, "Failed to open %s for reading: %d\n", s.c_str()); reset_map_parser(); |