--- a/src/ai/api/ai_controller.hpp	Sat Jun 21 13:30:37 2008 +0000
+++ b/src/ai/api/ai_controller.hpp	Sat Jun 21 13:35:29 2008 +0000
@@ -59,10 +59,11 @@
 	 *   are passed. Mind that an AI tick is different from in-game ticks and
 	 *   differ per AI speed.
 	 * @param ticks the ticks to wait
+	 * @pre ticks > 0.
 	 * @post the value of GetTick() will be changed exactly 'ticks' in value after
 	 *   calling this.
 	 */
-	static void Sleep(uint ticks);
+	static void Sleep(int ticks);
 
 	/**
 	 * When Squirrel triggers a print, this function is called.