# HG changeset patch
# User Matti Hamalainen <ccr@tnsp.org>
# Date 1488788354 -7200
# Node ID f664e851bc07ce36341eeb30618572d2823884cc
# Parent  5070e57ebbfca9ab884968ce766e0a1223a40654
Delete dead member.

diff -r 5070e57ebbfc -r f664e851bc07 game/IDMContainer.java
--- a/game/IDMContainer.java	Mon Mar 06 10:19:04 2017 +0200
+++ b/game/IDMContainer.java	Mon Mar 06 10:19:14 2017 +0200
@@ -13,7 +13,6 @@
 public class IDMContainer extends IDMWidget
 {
     private ArrayList<IDMWidget> children, queue;
-    private IDMWidget modal;
     private int iterated;
     private boolean modified;