--- a/QTfrontend/pages.h	Tue Aug 17 19:43:17 2010 -0400
+++ b/QTfrontend/pages.h	Fri Aug 20 11:26:27 2010 -0400
@@ -447,6 +447,7 @@
     ToggleButtonWidget * TBW_sharedammo;
     ToggleButtonWidget * TBW_disablegirders;
     ToggleButtonWidget * TBW_disablelandobjects;
+    ToggleButtonWidget * TBW_aisurvival;
 
     QSpinBox * SB_DamageModifier;
     QSpinBox * SB_TurnTime;