From 1c9e22d96465df5addb318f32e2156f53f1375b9 Mon Sep 17 00:00:00 2001
From: MagicBot <MagicBot@magicbane.com>
Date: Fri, 20 Jan 2023 08:31:20 -0500
Subject: [PATCH] Mine.wasClaimed added to ./info dev command.

---
 src/engine/devcmd/cmds/InfoCmd.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/engine/devcmd/cmds/InfoCmd.java b/src/engine/devcmd/cmds/InfoCmd.java
index beb37c93..656e7520 100644
--- a/src/engine/devcmd/cmds/InfoCmd.java
+++ b/src/engine/devcmd/cmds/InfoCmd.java
@@ -195,6 +195,8 @@ public class InfoCmd extends AbstractDevCmd {
 						output+= newline;
 						output+= "Mine active: " + mine.getIsActive();
 						output+= newline;
+						output+= "Was claimed: " + mine.wasClaimed;
+						output+= newline;
 						output+= "Mine Type: "+mine.getMineType().name;
 						output+= newline;
 						output+= "Expansion : " + mine.isExpansion();