From 9fd265ba909d8c7e12f1571eab902e6983de481f Mon Sep 17 00:00:00 2001
From: Holger Schemel <info@artsoft.org>
Date: Thu, 12 Jan 2023 18:17:59 +0100
Subject: [PATCH] fixed bug with undefined element graphic when pushing into
 explosion

---
 src/tools.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/tools.c b/src/tools.c
index c5bdd986..fbfb601a 100644
--- a/src/tools.c
+++ b/src/tools.c
@@ -4248,6 +4248,9 @@ static void DrawPlayerExt(struct PlayerInfo *player, int drawing_stage)
     if (!player->is_pushing || !player->is_moving)
       return;
 
+    if (Tile[next_jx][next_jy] == EL_EXPLOSION)
+      return;
+
     int gfx_frame = GfxFrame[jx][jy];
 
     if (!IS_MOVING(jx, jy))		// push movement already finished
-- 
2.34.1