--- a/src/settings_internal.h	Thu May 29 23:33:37 2008 +0000
+++ b/src/settings_internal.h	Fri May 30 09:23:05 2008 +0000
@@ -85,5 +85,6 @@
 
 const SettingDesc *GetPatchFromName(const char *name, uint *i);
 bool SetPatchValue(uint index, int32 value);
+bool SetPatchValue(uint index, const char *value);
 
 #endif /* SETTINGS_H */