| 1558 | } |
| 1559 | |
| 1560 | void dump_map(const map_def &map) |
| 1561 | { |
| 1562 | if (crawl_state.dump_maps) |
| 1563 | { |
| 1564 | fprintf(stderr, "\n----------------------------------------\n%s\n", |
| 1565 | map.describe().c_str()); |
| 1566 | } |
| 1567 | } |
| 1568 | |
| 1569 | void add_parsed_map(const map_def &md) |
| 1570 | { |
no test coverage detected