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