fixed bug with undefined element graphic when pushing into explosion

diff --git a/src/tools.c b/src/tools.c
index c5bdd986080f1c13f0882bb0a5175dd06b4e7bf6..fbfb601af898908d12a8b5d1f2ee7ae255e7c5e5 100644 (file)
--- 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