From 824fa9a7328ffffd515d5ab89f11ed1e54864fb6 Mon Sep 17 00:00:00 2001
From: Zeno Rogue <zeno@attnam.com>
Date: Sun, 7 Apr 2024 23:36:06 +0200
Subject: [PATCH] push an exploding barrel on a mine now causes an explosion

---
 game.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/game.cpp b/game.cpp
index 8fa3ff97..379b7ae7 100644
--- a/game.cpp
+++ b/game.cpp
@@ -347,6 +347,8 @@ EX void pushThumper(const movei& mi) {
     if(w == waThumperOn)
       explode = 2;
     }
+  if(w == waExplosiveBarrel && cto->wall == waMineMine)
+    explode = 2;
   destroyTrapsOn(cto);
   if(cto->wall == waOpenPlate || cto->wall == waClosePlate) {
     toggleGates(cto, cto->wall);