QTfrontend/pages.h
changeset 2882 b9aceb3fe3d6
parent 2881 70d7976fa829
child 2891 e1f902eb0cfe
--- a/QTfrontend/pages.h	Sun Feb 28 15:41:42 2010 +0000
+++ b/QTfrontend/pages.h	Sun Feb 28 16:03:33 2010 +0000
@@ -450,6 +450,7 @@
 	FreqSpinBox * SB_CaseProb;
 	QSpinBox * SB_MinesTime;
 	QSpinBox * SB_Mines;
+	QSpinBox * SB_MineDuds;
 	QLineEdit * LE_name;
 	QComboBox * selectScheme;