src/command.cpp
changeset 6247 7d81e3a5d803
parent 6123 04eb770ec17e
child 6426 dcfdb9b5991b
--- a/src/command.cpp	Tue Mar 06 23:42:30 2007 +0000
+++ b/src/command.cpp	Wed Mar 07 11:47:46 2007 +0000
@@ -395,7 +395,7 @@
 	return res;
 }
 
-int32 GetAvailableMoneyForCommand(void)
+int32 GetAvailableMoneyForCommand()
 {
 	PlayerID pid = _current_player;
 	if (!IsValidPlayer(pid)) return 0x7FFFFFFF; // max int