--- a/src/settings_gui.cpp	Mon May 26 20:00:18 2008 +0000
+++ b/src/settings_gui.cpp	Tue May 27 08:16:43 2008 +0000
@@ -662,7 +662,6 @@
 };
 
 static const char *_patches_ai[] = {
-	"ai.ainew_active",
 	"ai.ai_in_multiplayer",
 	"ai.ai_disable_veh_train",
 	"ai.ai_disable_veh_roadveh",