--- a/QTfrontend/pages.h	Wed May 06 22:35:31 2009 +0000
+++ b/QTfrontend/pages.h	Thu May 07 02:04:07 2009 +0000
@@ -433,6 +433,8 @@
 	QSpinBox * SB_InitHealth;
 	QSpinBox * SB_SuddenDeath;
 	FreqSpinBox * SB_CaseProb;
+	QSpinBox * SB_MinesTime;
+	QSpinBox * SB_Mines;
 	QLineEdit * LE_name;
 	QComboBox * selectScheme;