diff -r 730cae121ae3 -r e3eb6d371fbb src/ai/ai_factory.hpp
--- a/src/ai/ai_factory.hpp	Sun Mar 18 23:14:44 2007 +0000
+++ b/src/ai/ai_factory.hpp	Sun Mar 18 23:35:56 2007 +0000
@@ -123,7 +123,6 @@
 	 */
 	static char *GetAIConsoleList(char *p, const char *last)
 	{
-		printf("%d\n", GetFactories().size());
 		p += snprintf(p, last - p, "List of AIs:\n");
 		Factories::iterator it = GetFactories().begin();
 		for (; it != GetFactories().end(); it++) {