diff options
Diffstat (limited to 'crawl-ref/source/effects.cc')
| -rw-r--r-- | crawl-ref/source/effects.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crawl-ref/source/effects.cc b/crawl-ref/source/effects.cc index f3661b0f4c..9c96fa5a35 100644 --- a/crawl-ref/source/effects.cc +++ b/crawl-ref/source/effects.cc @@ -136,7 +136,7 @@ static std::string who_banished(const std::string &who) return (who.empty()? who : " (" + who + ")"); } -void banished(int gate_type, const std::string &who) +void banished(dungeon_feature_type gate_type, const std::string &who) { #ifdef DGL_MILESTONES if (gate_type == DNGN_ENTER_ABYSS) |