diff options
Diffstat (limited to 'crawl-ref/source/player.cc')
-rw-r--r-- | crawl-ref/source/player.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/crawl-ref/source/player.cc b/crawl-ref/source/player.cc index 50dd36bc1f..cbb42c5678 100644 --- a/crawl-ref/source/player.cc +++ b/crawl-ref/source/player.cc @@ -5920,6 +5920,9 @@ const std::string PlaceInfo::short_name() const case LEVEL_LABYRINTH: return "Labyrinth"; + + case LEVEL_PORTAL_VAULT: + return "Portal Vault"; default: return "Bug"; |