diff -r 345e1bd9525a -r 761e05083f9c settings.h
--- a/settings.h	Tue Aug 15 07:07:17 2006 +0000
+++ b/settings.h	Tue Aug 15 07:37:01 2006 +0000
@@ -77,7 +77,7 @@
 /** The patch values that are used for new games and/or modified in config file */
 extern Patches _patches_newgame;
 
-void IConsoleSetPatchSetting(const char *name, const char *value);
+void IConsoleSetPatchSetting(const char *name, int32 value);
 void IConsoleGetPatchSetting(const char *name);
 const SettingDesc *GetPatchFromName(const char *name, uint *i);
 void SetPatchValue(uint index, const Patches *object, int32 value);