diff -r 4584f8cd00e8 -r ee414c031e73 src/ai/api/ai_settings.hpp
--- a/src/ai/api/ai_settings.hpp	Sat Feb 23 17:43:16 2008 +0000
+++ b/src/ai/api/ai_settings.hpp	Sat Feb 23 18:01:05 2008 +0000
@@ -27,7 +27,7 @@
 	 * @pre ticks should be positive. Too big values will influence performance of the AI.
 	 * @note If the number is lower then the MP setting, the MP setting wins.
 	 */
-	void SetCommandDelay(uint ticks);
+	static void SetCommandDelay(uint ticks);
 };
 
 #endif /* AI_SETTINGS_HPP */