diff options
Diffstat (limited to 'crawl-ref/source/player.h')
-rw-r--r-- | crawl-ref/source/player.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/crawl-ref/source/player.h b/crawl-ref/source/player.h index a2c4acb21b..147572a053 100644 --- a/crawl-ref/source/player.h +++ b/crawl-ref/source/player.h @@ -455,6 +455,7 @@ public: bool caught() const; bool backlit(bool check_haloed = true) const; bool haloed() const; + bool petrified() const; bool asleep() const; void put_to_sleep(int power = 0); |