From d93874e37ca9d38dc3d8384f795b29cda6ddab36 Mon Sep 17 00:00:00 2001
From: "Juan J. Martinez" <jjm@usebox.net>
Date: Tue, 18 Jul 2023 08:05:26 +0100
Subject: This shouldn't be needed

---
 src/player.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/player.c b/src/player.c
index 24231c5..ceb4b7a 100644
--- a/src/player.c
+++ b/src/player.c
@@ -338,6 +338,7 @@ void player_hit()
     else
     {
         dying = 1;
+        invuln = 0;
         frame = FRAME_DYING;
         gravity = GRAVITY_UP;
         sound_play_efx(EFX_DEATH);
-- 
cgit v1.2.3