diff options
Diffstat (limited to 'crawl-ref/source/maps.cc')
| -rw-r--r-- | crawl-ref/source/maps.cc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/crawl-ref/source/maps.cc b/crawl-ref/source/maps.cc index 8e0c9f6864..089d616b2e 100644 --- a/crawl-ref/source/maps.cc +++ b/crawl-ref/source/maps.cc @@ -379,6 +379,11 @@ const map_def *map_by_index(int index) return &vdefs[index]; } +int map_count() +{ + return (vdefs.size()); +} + ///////////////////////////////////////////////////////////////////////////// // Reading maps from .des files. |