Ceiling hiders on lava pools

Lava pools are perfectly valid locations for ceiling hiders
if they're hiding there - aka hanging from the ceiling.

diff --git a/src/mon.c b/src/mon.c
index 39e30fce7b0a5d8b2ab6a92d6dabd6e05b633325..5fc4dbd05db7e4cae3c5ca05a921260aba870bd8 100644 (file)
--- a/src/mon.c
+++ b/src/mon.c
@@ -156,6 +156,7 @@ sanity_check_single_mon(
             && (!has_ceiling(&u.uz) ||
                 !(levl[mx][my].typ == POOL
                   || levl[mx][my].typ == MOAT
+                  || levl[mx][my].typ == LAVAPOOL
                   || accessible(mx, my))))
             impossible("ceiling hider hiding %s (%s)",
                        !has_ceiling(&u.uz) ? "without ceiling"