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();