From 9fd87db543fc3937bdd6fc7eaa2ca96db028222b Mon Sep 17 00:00:00 2001
From: Pasi Kallinen <paxed@alt.org>
Date: Sat, 4 Feb 2023 19:39:25 +0200
Subject: [PATCH] Ceiling hiders on lava pools

Lava pools are perfectly valid locations for ceiling hiders
if they're hiding there - aka hanging from the ceiling.
---
 src/mon.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/mon.c b/src/mon.c
index 39e30fce7..5fc4dbd05 100644
--- 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"